逻辑推理：三位同学的职位的判断（c语言代码实现）

在某班班委成员的选举中，已知王小红、李强、丁金生三位同学被选进了班委会.该班的甲，乙，丙三名学生预言如下:
甲说：王小红为班长，李强为生活委员
乙说：丁金生为班长，王小红为生活委
丙说：李强为班长，王小红为学习委员
班委会分工名单公布后发现，甲、乙、丙三人都恰好猜对了一半.问：王小红、李强、丁金生各任何职？

（通过多重for循环实现对真值表的实现，然后判断最终的结果）

#include <stdio.h>
int main(){
	int a,b,c,d,e,f;
	/*a : 王小红为班长	b :李强为生活委员
	  c :丁金生是班长   d : 王小红为生活委员
	  e :李强为班长		f :王小红为学习委员*/
	
	int p[4];
	for(a=0;a<=1;a++){
		for(b=0;b<=1;b++){
			for(c=0;c<=1;c++){
				for(d=0;d<=1;d++){
					for(e=0;e<=1;e++){
						for(f=0;f<=1;f++){
						    	//甲说的话只对一半
							p[1]=((!a)&&b&&(!d)&&(!e))||(a&&(!b)&&(!c)&&(!d)&&(!e)&&(!f));
							 	//乙说的话只对一半
							p[2]=(c&&(!d)&&(!a)&&(!e))||((!c)&&d&&(!a)&&(!b)&&(!f));
								//丙说的话只对一半
							p[3]=(e&&(!f)&&(!a)&&(!b)&&(!c))||((!e)&&(f)&&(!a)&&(!d));
							if(p[1]&&p[2]&&p[3]){
								if(a)printf("王小红为班长\n");
								if(b)printf("李强为生活委员\n");
								if(c)printf("丁金生是班长\n");
								if(d)printf("王小红为生活委员\n");
								if(e)printf("李强为班长\n");
								if(f)printf("王小红为学习委员\n");
							}
						}
							}
								}
									}
										}
											}
											return 0;
}

结果如下：

李强为生活委员
丁金生是班长
王小红为学习委员

--------------------------------
Process exited after 0.01987 seconds with return value 0
请按任意键继续. . .