委派任务C语言

问题描述：
某侦察队接到一项紧急任务要求在A、B、C、D、E、F六个队员中尽可能多地挑若干人但有以下限制条件：
1)A和B两人中至少去一人；
2)A和D不能一起去；
3)A、E和F三人中要派两人去；
4)B和C都去或都不去；
5)C和D两人中去一个；
6)若D不去，则E也不去。
问应当让哪几个人去？
输入
输出
要派出的人
若有多个，按字母递增顺序排列，用逗号分开（含末尾逗号）

#include <stdio.h>
main()
{
    int a,b,c,d,e,f;
    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>=1&&a+d<=1&&a+e+f==2&&(b+c==2||b+c==0)&&c+d==1&&(d+e==0||d==1))
          //判断条件，即题目的几个要求。
            {
            if(a)                   //判断真假a=0或者a=1
                printf("A,");       //对应输出
            if(b)
                printf("B,");
            if(c)
                printf("C,");
            if(d)
                printf("D,");
            if(e)
                printf("E,");
            if(f)
                printf("F,");
          }
}

此问题要抽象化，去与不去用01表示，然后对应输出相关人。相关关系用逻辑式表示。