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

本文通过C++代码解决了一个逻辑推理问题。四个可能来自诚实族或说谎族的人分别给出了关于自己所属部落的陈述。通过分析每个人的陈述，使用穷举法推断出第四个人是诚实的。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

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

*问题分析与算法设计
假设这四个人分别为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