逻辑推理题-用C++实现（4）--谜语博士的难题1-思考题

/*
*思考题
题目：
迷语博士遇到四个人，知道他们可能是来自诚实族和说谎族的。为了调查这四个人是什么族的，博士照例进行询问："你们是什么族的？"
第一人说："我们四人全都是说谎族的。"
第二人说："我们之中只有一人是说谎族的。"
第三人说："我们四人中有两个是说谎族的。"
第四人说："我是诚实族的。"
问自称是"诚实族"的第四个人是否真是诚实族的？
(答案：第四个人是诚实族的。)

*问题分析与算法设计
假设这四个人分别为A、B、C、D，若说谎其值为0，若诚实，其值为1。根据题目中四个人的话可分别列出：
第一个人： 第一人说："我们四人全都是说谎族的。"， 如果A说真话A+B+C+D=0 ，如果A说假话 A+B+C+D!=0
a&&a+b+c+d==0||!a&&a+b+c+d!=0

第二个人：第二人说："我们之中只有一人是说谎族的。" ，如果B说真话A+B+C+D=3,如果B说假话 A+B+C+D!=3
b&&a+b+c+d==3||!b&&a+b+c+d!=3

第三个人： 第三人说："我们四人中有两个是说谎族的。" ， 如果C说真话 A+B+C+D=2,如果C说假话A+B+C+D!=2
c&&a+b+c+d==2||!c&&a+b+c+d!=2

第四个人：第四人说："我是诚实族的。" 如果D说真话 d==1,如果D说假话D==0
d&&d==1||!d&&d==0
利用穷举法，可以很容易地推出结果。

*/
#include<iostream>
using namespace std;
int main()
{
int a,b,c,d,n=0;//n统计结论个数
for(a=0;a<=1;a++)
for(b=0;b<=1;b++)
for(c=0;c<=1;c++)
for(d=0;d<=1;d++)
if(( a&&a+b+c+d==0||!a&&a+b+c+d!=0)
&&(b&&a+b+c+d==3||!b&&a+b+c+d!=3)
&&(c&&a+b+c+d==2||!c&&a+b+c+d!=2)
&&( d&&d==1||!d&&d==0))
{
cout<<"第"<<++n<<"种结果"<<endl;
cout<<"A is a "<<(a?"honest":"lier")<<endl;
cout<<"B is a "<<(b?"honest":"lier")<<endl;
cout<<"C is a "<<(c?"honest":"lier")<<endl;
cout<<"D is a "<<(d?"honest":"lier")<<endl;
}
return 0;
}