用程序穷举法解决逻辑问题

警察抓了 A、B、C、D 四名罪犯，其中一名是小偷，审讯的时候：

A说：“我不是小偷。”    x !=0
B说：“C 是小偷。”     x = 2
C说：“小偷肯定是 D。”  x = 3 
D说：“C 是在冤枉人。”  x != 3

现在已经知道四个人中三个人说的是真话，一个人说了假话，请判断一下到底谁是小偷？

对这个问题分析，首先对 A、B、C、D 四个人分别用 0~3 四个数字进行编号，接着将四个人的描述结果用数字量化，如果描述是真，则结果是 1，如果是假，则结果是 0。我们假设小偷的编号是 x，对于四个人的描述，数字化的结果是：

    int dis_a = (x != 0) ? 1 : 0;
    int dis_b = (x == 2) ? 1 : 0;
    int dis_c = (x == 3) ? 1 : 0;
    int dis_d = 1 - dis_c;

这里用数字来表示真假，而不是逻辑符号，是为了处理只有一个人说假话，就是相加为3，不用在枚举一遍。

依次假设 x 是 A、B、C、D（0~3 的编号数值），对每次假设对应的 dis_a、dis_b、dis_c 和 dis_d 的值求和，若结果是 3，则表示假设是对的，x 对应的值就是小偷的编号。如此将自然语言的信息数字化后，算法就可以非常简单地实现了：

void who_is_thief()
{
    for (int x = 0; x < 4; x++)
    {
        int dis_a = (x != 0) ? 1 : 0;
        int dis_b = (x == 2) ? 1 : 0;
        int dis_c = (x == 3) ? 1 : 0;
        int dis_d = 1 - dis_c;

        if ((dis_a + dis_b + dis_c + dis_d) == 3)
        {
            char thief = 'A' + x;
            std::cout << "The thief is " << thief << std::endl;
            break;
        }
    }
}