/*
*思考题
题目:
迷语博士遇到四个人,知道他们可能是来自诚实族和说谎族的。为了调查这四个人是什么族的,博士照例进行询问:"你们是什么族的?"
第一人说:"我们四人全都是说谎族的。"
第二人说:"我们之中只有一人是说谎族的。"
第三人说:"我们四人中有两个是说谎族的。"
第四人说:"我是诚实族的。"
问自称是"诚实族"的第四个人是否真是诚实族的?
(答案:第四个人是诚实族的。)
*问题分析与算法设计
假设这四个人分别为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)
&a