谁在说谎

谁在说谎

张三说李四在说谎，李四说王五在说谎，王五说张三和李四都在说谎。现在问：这三人中到底谁说的是真话，谁说的是假话？

*问题分析与算法设计
分析题目，每个人都有可能说的是真话，也有可能说的是假话，这样就需要对每个人所说的话进行分别判断。假设三个人所说的话的真假用变量A、B、C表示，等于1表示该人说的是真话； 表示这个人说的是假话。由题目可以得到：
*张三说李四在说谎 张三说的是真话：a==1&&b==0
或 张三说的是假话：a==0&&b==1
*李四说王五在说谎 李四说的是真话：b==1&&c==0
或 李四说的是假话：b==0&&c==1
*王五说张三和李四都在说谎 王五说的是真话：c==1&&a+b==0
或 王五说的是假话：c==0&&a+b!=0
上述三个条件之间是“与”的关系。将表达式进行整理就可得到C语言的表达式：
(a&&!b||!a&&b)&&(b&&!c||!b&&c)&&(c&&a+b==0||!c&&a+b!=0)
穷举每个人说真话或说假话的各种可能情况，代入上述表达式中进行推理运算，使上述表达式均为“真”的情况就是正确的结果。

#include<stdio.h>
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&&!b||!a&&b)&&(b&&!c||!b&&c)&&(c&&a+b==0||!c&&a+b!=0))
	{
		printf("Zhangsan told a %s.\n",a?"truth":"lie");
		printf("Lisi told a %s.\n",b?"truch":"lie");
		printf("Wangwu told a %s.\n",c?"truch":"lie");
	}
}