找犯人——蛮力法（算法）

某地刑侦大队对涉及六个嫌疑人的一桩疑案进行分析：

（1）A、B至少有一人作案；（2）A、E、F三人中至少有两人参与作案；（3）A、D不可能是同案犯；（4）B、C或同时作案，或与本案无关；（5）C、D中有且仅有一人作案；（6）如果D没有参与作案，则E也不可能参与作案。试用蛮力法设计算法将作案人找出来。

#include <iostream>
#include<cstdio>
using namespace std;

int main()
{
    int A,B,C,D,E,F,G;
    for(A=0;A<2;A++)
    for(B=0;B<2;B++)
    for(C=0;C<2;C++)
    for(D=0;D<2;D++)
    for(E=0;E<2;E++)
    for(F=0;F<2;F++)
    for(G=0;G<2;G++)
    if((A+B>0) && (A+E+F>=2) && (A+D<2) 
           && ((B+C)==2 || (B+C)==0) && (C+D==1) && (D==0&&E==0||D==1)){
        puts(A==1?"作案":"不作案");
        puts(B==1?"作案":"不作案");
        puts(C==1?"作案":"不作案");
        puts(D==1?"作案":"不作案");
        puts(E==1?"作案":"不作案");
        puts(F==1?"作案":"不作案");
        printf("
");
    }
    return 0;
}