刑侦大队对涉及六个嫌疑人的一桩疑案的分析，编一程序，将作案人找出来（更好的逻辑分析）

某地刑侦大队对涉及六个嫌疑人的一桩疑案进行分析：
A、B 至少有一人作案；
A、E、F 三人中至少有两人参与作案；
A、D 不可能是同案犯；
B、C 或同时作案，或与本案无关；
C、D 中有且仅有一人作案；
如果 D 没有参与作案，则 E 也不可能参与作案。
试编一程序，将作案人找出来。

#include 
using namespace std;
int main()
{
    int A,B,C,D,E,F;    //设定A——F六个变量，代表六个人，其值为1是参与作案，其值为0是不参与作案 
    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++){
                            if(
                            (A||B)                        //A、B 至少有一人作案
                            && (A+E+F>=2)                //A、E、F 三人中至少有两人参与作案
                            && (!(A&&D))                //A、D 不可能是同案犯
                            && (B==C)                    //B、C 或同时作案，或与本案无关
                            && (C!=D)                    //C、D 中有且仅有一人作案
                            && (D==1||(D==0&&E==0))        //如果 D 没有参与作案，则 E 也不可能参与作案。
                            ){
                                cout<<"作案的是:";
                                if(A){cout<<'A'<<' ';}
                                if(B){cout<<'B'<<' ';}
                                if(C){cout<<'C'<<' ';}
                                if(D){cout<<'D'<<' ';}
                                if(E){cout<<'E'<<' ';}
                                if(F){cout<<'F'<<' ';}
                            }
                        }
                    }
                }
            }
        }
    }
}