20200225之凶手 （逻辑 模拟）

巴斯维克命案抓住了六个嫌疑犯，他们的口供如下：
A：我不是罪犯
B：A、C中有一个是罪犯
C：A和B说了假话
D：C和F说了假话
E：其他五个人中，只有A和D说了真话
F：我是罪犯
他们中只有一半说了真话，凶手只有一个。
本题可能有多种可能性，即正确答案（找到唯一的凶手）可能有多个，但每一个可能的答案（某一个是凶手）都满足上述口供。
请编程找出可能的凶手输出。
（假设唯一的凶手是A或者D或者E，则输出结果为三行，按字母顺序依次输出）
输入
无
输出
无
样例输入
无
样例输出
A
D
E
如果真的不会，可以手算出结果直接按照要求输出，比赛时答案对了也是可以的。不过还是正规方法算出来保险。
以前确实不会这种方法，没见过逻辑题用编程求解。这下就了解了。用一个数组代表人物，以0/1作为是否是凶手的依据。每一个函数是对人物说话的判断，有某人是否为凶手和某人说话真假的判断
下面是AC代码：

#include <bits/stdc++.h>
using namespace std;
int x[6];   //0~5代表A~F 值为0不是凶手 
int A(){    //某人是否为凶手类 
	if(!x[0])
		return 1; //A说得对
	return 0; 
} 
int B(){
	if(x[0]||x[2])
		return 1;
	return 0;
} 
int C(){
	if(!A()&&!B())  //某人话语真假类 
		return 1;
	return 0;
}
int F(){
	if(x[5])
		return 1;
	return 0;
}
int D(){
	if(!C()&&!F())
		return 1;
	return 0; 
}
int E(){
	if(A()&&!B()&&!C()&&D()&&!F())
		return 1;
	return 0;
}

int main(){
	char s[]={"ABCDEF"}; 
	for(int i=0;i<6;i++){
		memset(x,0,sizeof(x)); //初始化数组 没初始化的数组值不确定
		x[i]=1;
		if(A()+B()+C()+D()+E()+F()==3)
		printf("%c\n",s[i]);
	}
	return 0;
} ```