谁在说谎

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

*问题分析与算法设计
分析题目，每个人都有可能说的是真话，也有可能说的是假话，这样就需要对每个人所说的话进行分别判断。假设三个人所说的话的真假用变量A、B、C表示，等于1表示该人说的是真话；等于0表示这个人说的是假话。由题目可以得到：
*张三说李四在说谎：
张三说的是真话（那么李四确实在说谎）：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>

void 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");
				}
}

*运行结果
Zhangsan told a lie.
Lisi told a truch.
Wangwu told a lie.