现有张三、李四和王五3个人，张三说李四在说谎，李四说王五在说谎，而王五说张三和李四两人都在说谎。要求编程求出这3个人中到底谁说的是真话，谁说的是假话。
问题分析显然该题是一个逻辑推断问题。张三、李四和王五3个人都可能说真话，也都可能说假话，那么如何来判断他们到底谁在说谎呢？
由问题描述可得到如下3个结论：
由于“张三说李四在说谎”，因此，如果张三说的是真话，则李四就在说谎；反之，如果张三在说谎，则李四说的就是真话。
由于“李四说王五在说谎”，因此，如果李四说的是真话，则王五就在说谎；反之，如果李四在说谎，则王五说的就是真话。
由于“王五说张三和李四两人都在说谎”，因此，如果王五说的是真话，则张三和李四两人都在说谎；反之，如果王五在说谎，则张三和李四两人至少一人说的是真话。
算法设计该问题同样可用穷举法进行解决。
首先将问题分析中得到的3个分析结果用表达式表达出来。用变量x、y和z分别表示张三、李四和王五3人说话真假的情况，当x、y或z的值为1时表示该人说的是真话，值为0时表示该人说的是假话。则问题分析中的3个结论可以使用如下的表达式进行表示：
x==1 && y==0 表示张三说的是真话，李四在说谎；
x==0 && y==1 表示张三在说谎，李四说的是真话；
y==1 && z==0 表示李四说的是真话，王五在说谎；
y==0 && z==1 表示李四在说谎，王五说的是真话；
z==1 && x==0 && y==0 表示王五说的是真话，则张三和李四两人都在说谎；
z==0 && (x+y)!=0 表示王五在说谎，则张三和李四两人至少一人说的是真话。
在C语言中，可以使用一个逻辑表达式来表达出一个复杂的关系。将上面的表达式进行整理获得C语言的表达式如下：
(x&&!y || !x&&y) && (y&&!z || !y&&z) && (z&&x+y==0 || !z&&x+y!=0)
下面是完整的代码：
#include<stdio.h>
int main()
{
int x, y, z;
for(x=0; x<=1; x++)
for(y=0; y<=1; y++)
for(z=0; z<=1; z++)
if( ((x&&!y) || (!x&&y)) && ((y&&!z) || (!y&&z)) && ((z&&x==0&&y==0) || (!z&&x+y!=0)) )
{
printf("张三说的是%s.\n",x?"真话":"假话");
printf("李四说的是%s.\n",y?"真话":"假话");
printf("王五说的是%s.\n",z?"真话":"假话");
}
return 0;
}
运行结果：
张三说的是假话.
李四说的是真话.
王五说的是假话.
Linux公社的RSS地址：https://www.linuxidc.com/rssFeed.aspx