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

1.迷语博士的难题(1)

*题目
诚实族和说谎族是来自两个荒岛的不同民族，诚实族的人永远说真话，而说谎族的人永远说假话。
迷语博士是个聪明的人，他要来判断所遇到的人是来自哪个民族的。
迷语博士遇到三个人，知道他们可能是来自诚实族或说谎族的。
为了调查这三个人是什么族的，博士分别问了他们的问题，这是他们的对话：
问第一个人："你们是什么族？"，答："我们之中有两个来自诚实族。"  如果A说真话A+B+C=2 ，如果A说假话 A+B+C!=2
第二个人说："不要胡说，我们三个人中只有一个是诚实族的。"  如果B说真话A+B+C=1,如果B说假话 A+B+C!=1
第三个人听了第二个人的话后说："对，就是只有一个诚实族的。" 如果C说真话 A+B+C=1,如果C说假话A+B+C!=1
请根据他的回答判断他们分别是哪个族的。


*问题分析与算法设计
假设这三个人分别为A、B、C，若说谎其值为0，若诚实，其值为1。根据题目中三个人的话可分别列出：
第一个人： a&&a+b+c==2||!a&&a+b+c!=2
     如果A说真话A+B+C=2 ，如果A说假话 A+B+C!=2
第二个人： b&&a+b+c==1||!b&&a+b+c!=1
     如果B说真话A+B+C=1,如果B说假话 A+B+C!=1
第三个人： c&&a+b+c==1||!c&&a+b+c!=1
     如果C说真话 A+B+C=1,如果C说假话A+B+C!=1

利用穷举法，可以很容易地推出结果。

#include<iostream>using namespace std;int main(){int a,b,c;for(a=0;a<=1;a++)  for(b=0;b<=1;b++)    for(c=0;c<=1;c++)       if((a&&a+b+c==2||!a&&a+b+c!=2)        &&(b&&a+b+c==1||!b&&a+b+c!=1)        &&(c&&a+b+c==1||!c&&a+b+c!=1))   {         cout<<"A is a "<<(a?"honest":"lier")<<endl;         cout<<"B is a "<<(b?"honest":"lier")<<endl;         cout<<"C is a "<<(c?"honest":"lier")<<endl;   }return 0;}

2.谜语博士的难题（2）