逻辑推理题-用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）