受约束的十人参赛问题

A、B、C、D、E、F、G、H、I、J 共10名学生有可能参加本次计算机竞赛，也可能不参加。因为某种原因，他们是否参赛受到下列条件的约束：

   1. 如果A参加，B也参加；

   2. 如果C不参加，D也不参加；

   3. A和C中只能有一个人参加；

   4. B和D中有且仅有一个人参加；

   5. D、E、F、G、H 中至少有2人参加；

   6. C和G或者都参加，或者都不参加；

   7. C、E、G、I中至多只能2人参加   

   8. 如果E参加，那么F和G也都参加。

   9. 如果F参加，G、H就不能参加

   10. 如果I、J都不参加，H必须参加

请编程根据这些条件判断这10名同学中参赛者名单。如果有多种可能，则输出所有的可能情况。每种情况占一行。参赛同学按字母升序排列，用空格分隔。

比如：

C D G J

就是一种可能的情况。

#include<iostream>
using namespace std;
bool judge(int*x){
   bool a1= x[0]==0 || x[1]==1;
   bool a2= x[2]==1 || x[3]==0;
   bool a3= x[0] * x[2]<1;
   bool a4= x[1] + x[3]==1;
   bool a5= x[3] + x[4] + x[5] + x[6] + x[7]>=2;
   bool a6= (x[2] + x[6]==0)||(x[2] + x[6]==2);
   bool a7= x[2] + x[4] + x[6] + x[8]<=2;
   bool a8= x[4]==0 || (x[5]&&x[6]);
   bool a9= x[5]==0 || (x[6]==0 && x[7]==0);
   bool a10= x[8]==1 || x[9]==1 || x[7]==1;
   return a1&&a2&&a3&&a4&&a5&&a6&&a7&&a8&&a8&&a9&&a10;
}
int main(){
char ch[]="ABCDEFGHIJ";
    int x[]={0,0,0,0,0,0,0,0,0,0};
    for(x[0]=0;x[0]<2;x[0]++)
      for(x[1]=0;x[1]<2;x[1]++)
         for(x[2]=0;x[2]<2;x[2]++)
            for(x[3]=0;x[3]<2;x[3]++)
               for(x[4]=0;x[4]<2;x[4]++)
                   for(x[5]=0;x[5]<2;x[5]++)
                      for(x[6]=0;x[6]<2;x[6]++)
                        for(x[7]=0;x[7]<2;x[7]++) 
                           for(x[8]=0;x[8]<2;x[8]++)
                              for(x[9]=0;x[9]<2;x[9]++)
    if(judge(x)){//output data
 for(int i=0;i<10;i++)
       if(x[i]==1) cout<<ch[i]<<" ";
           cout<<endl;
   }	                 	    
return 0;
}