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名同学中参赛者名单。如果有多种可能，则输出所有的可能情况。
每种情况占一行。参赛同学按字母升序排列，用空格分隔。*/
public class 逻辑推断 {
/**
* @param args
*/
public static void show(int[] x) {
for (int i = 0; i < x.length; i++) {
if (x[i] > 0)
System.out.print((char) (i + 'A') + " ");
}
System.out.println();
}
boolean t1 = x[0] == 0 || x[1] == 1;
boolean t2 = x[2] == 1 || x[3] == 0;
boolean t3 = x[0] + x[2] <= 1;
boolean t4 = x[1] + x[3] == 1;
boolean t5 = x[3] + x[4] + x[5] + x[6] + x[7] >= 2;
boolean t6 = (x[2] + x[6] == 0) || (x[2] + x[6] == 2);
boolean t7 = x[2] + x[4] + x[6] + x[8] <= 2;
boolean t8 = x[4] == 0 || (x[5] + x[6] == 2);
boolean t9 = x[5] == 0 || (x[6] + x[7] == 0);
boolean t10 = (x[8] + x[9] > 0) || x[7] == 1;
return t1 && t2 && t3 && t4 && t5 && t6 && t7 && t8 && t9 && t10;
}
public static void f(int[] x, int n) {
if (n >= x.length) {
if (judge(x))
show(x);
return;
}
/*x[n] = 0;
f(x, n + 1);
x[n] = 1;
f(x, n + 1);*/
for(int i=0;i<2;i++){
x[n]=i;
f(x, n + 1);
x[n]=0;
}
}
public static void main(String[] args) {
// TODO Auto-generated method stub
int[] x = { 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 };
f(x, 0);
}
}