MOOC清华《程序设计基础》第3章：谁是嫌疑犯（位运算循环枚举）

某市刑侦大队正在调查一桩疑案，对涉及到的六名嫌疑人进行分析。已知有如下事实：

（1）A、B至少有一人作案；

（2）A、E、F中至少有两人作案；

（3）A、D不可能是同案犯；

（4）B、C或同时作案，或与本案无关；

（5）C、D中有且仅有一人作案；

（6）如果D没有作案，那么E也不可能作案。

请问：谁是嫌疑犯？

#include <iostream>
using namespace std;

int main()
{
	for(int i = 0; i < (1 << 6); i++)
	{
		int A = (i >> 5) & 1;
		int B = (i >> 4) & 1;
		int C = (i >> 3) & 1;
		int D = (i >> 2) & 1;
		int E = (i >> 1) & 1;
		int F = i & 1;
		
		bool b1 = (A == 1)||(B == 1);
		bool b2 = ((A == 1)&&(E == 1))||
				  ((A == 1)&&(F == 1))||
				  ((E == 1)&&(F == 1));
		bool b3 = !((A == 1)&&(D == 1));
		bool b4 = ((B == 1)&&(C == 1))||
				  ((B == 0)&&(C == 0));
		bool b5 = ((C == 1)&&(D == 0))||
				  ((C == 0)&&(D == 1));
		bool b6 = ((D == 0)&&(E == 0))||(D == 1);
		if(b1 && b2 && b3 && b4 && b5 && b6)
		{
			cout << A << B << C << D << E << F << endl;
			break;
		}
	}
	return 0;
}