逻辑推理与判断（谜语博士的难题（1））

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

/*逻辑推理与判断*/
/*谜语博士的难题（1）*/
/*诚实族和说谎族是来自两个荒岛的不同民族，诚实族的人永远说真话，
而说谎族的人永远说假话，谜语博士是个聪明人，他要判断所遇到的
人分别是哪个民族的。
谜语博士遇到三个人，知道他们可能是来自诚实族或说谎族的。为了调
查这三个人是什么族的，博士分别问了他们问题，这是他们的对话。
问第一个人：“你们是什么族？”。答：“我们之中有两个来自诚实族”
第二个人说：“不要胡说，我们三个人中只有一个诚实族的人”。
第三个人听了后说：“对，就是只有一个诚实族的。”
请根据回答判断他们分别是哪个族的？1 诚实族 0 说谎族

  A ： a&&a+b+c == 2 || !a&&a+b+c != 2
  B ： b&&a+b+c == 1 || !b&&a+b+c != 1
  C ： c&&a+b+c == 1 || !c&&a+b+c != 1*/


#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&&a+b+c == 2 || !a&&a+b+c != 2)
					&&(b&&a+b+c == 1 || !b&&a+b+c != 1)
					&&(c&&a+b+c == 1 || !c&&a+b+c != 1))
				{
					printf("A is a %s.\n",a?"honest":"lier");
					printf("B is a %s.\n",b?"honest":"lier");
					printf("C is a %s.\n",c?"honest":"lier");
				}
			}
		}
	}
	return 0;
}

/*谜语博士遇到四个人，知道他们可能是来自诚实族或说谎族的，为了调查这四个人是哪一族的，
博士照例进行俊文：“你们是什么族的？”
第一个人说：“我们四个人全都是说谎族”
第二个人说：“我们之中只有一个人是说谎族”
第三个人说：“我们四个人中有两个是说谎族”
第四个人说：“我是诚实族的” 1 诚实族 0 说谎族

  A ：a&&a+b+c+d == 0 || !a&&a+b+c+d != 0
  B ：b&&a+b+c+d == 3 || !b&&a+b+c+d != 3
  C ：c&&a+b+c+d == 2 || !c&&a+b+c+d != 2*/



#include <stdio.h>
int main(void)
{
	int a,b,c,d;
	for(a = 0;a < 2;a++)
	{
		for(b = 0;b < 2;b++)
		{
			for(c = 0;c < 2;c++)
			{
				for(d = 0;d < 2;d++)
				{
					if((a&&a+b+c+d == 0 || !a&&a+b+c+d != 0)
						&&(b&&a+b+c+d == 3 || !b&&a+b+c+d != 3)
						&&(c&&a+b+c+d == 2 || !c&&a+b+c+d != 2))
					{
						if(d == 1)
						{
							printf("D is a honest.\n");
							return 0;
						}
						else
						{
							printf("D is a lier.\n");
							return 0;
						}
					}
				}
			}
		}
	}
	return 0;
}