逻辑判断

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

 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();
	}

	public static boolean judge(int[] x) {
		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);

	}

}