命题真假

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 <stdio.h>void num2array(int a[], int n) //将10名同学所有可能的情况考虑到，即A同学可以参加也可以不参加两种情况，B同学也一样,C...D....所有情况就是2的10次方；{    int i;    for (i=9; i>=0; i--)    {        a[i]= n % 2;        n = n / 2;    }}int is_ok(int a[]) //根据给出的约束条件得到下面，这里是取反面情况返回0，最后符合条件的返回1；{    if (a[0] && !a[1]) return 0;    if (!a[2] && a[3]) return 0;    if (a[0] && a[2]) return 0;    if ((a[1] && a[3]) || (!a[1] && !a[3])) return 0;    if (a[3]+a[4]+a[5]+a[6]+a[7]<2) return 0;    if (a[2]+a[6]==1) return 0;    if (a[2]+a[4]+a[6]+a[8]>2) return 0;    if (a[4] && a[5]+a[6]<2) return 0;    if (a[5] && a[6]+a[7]>0) return 0;    if (a[8]+a[9]==0 && !a[7]) return 0;    return 1;}void print_result(int a[]){    int i;    for (i=0; i<10; i++)        if (a[i])            printf("%c ", 'A'+i );    printf("\n");}int main(){    int i, a[10];    for (i=0; i<1024; i++)    {        num2array(a, i);        if (is_ok(a))            print_result(a);    }    return 0;}