逻辑推理与判断（谁在说谎）

/**************************************** 
*  File Name  : reasoning.c 
*  Creat Data : 2015.1.26
*  Author     : ZY 
*****************************************/ 

/*逻辑推理与判断*/
/*谁在说谎*/
/*张三说李四在说谎，李四说王五在说谎，王五说张三和李四都在说谎。
现在问，这三个中到底谁说的是真话，谁说的是假话。
张三（真）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*/


#include <stdio.h>
int main(void)
{
	int a,b,c;
	for(a = 0;a < 2;a++)
	{
		for(b = 0;b < 2;b++)
		{
			for(c = 0;c < 2;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?"truth":"lie");
					printf("Wangwu told a %s.\n",c?"truth":"lie");
				}
			}
		}
	}
	return 0;
}