委派任务

某侦察队接到一项紧急任务，要求在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也不去。

问应当让哪几个人去？

*问题分析与算法设计

用A、B、C、D、E、F六个变量表示六个人是否去执行任务的状态，变量的值为1，则表示该人去；变量的值为0，则表示该人不参加执行任务。根据题意可写出表达式：

a+b>1 A和B两人中至少去一人；

a+d!=2 A和D不能一起去；

a+e+f==2 A、E和F三人中要派两人去；

b+c==0或b+c==2 B和C都去或都不去；

c+d==1 C和D两人中去一个；

d+e==0或d==1 若D不去，则E也不去（都不去；或D去E随便）。

上述各表达式之间的关系为“与”的关系。穷举每个人去或不去的各中可能情况，代入上述表达式中进行推理运算，使上述表达式均为“真”的情况就是正确的结果。

*程序与程序注释：

#include <stdio.h> int main() { int a,b,c,d,e,f; for(a=0;a<=1;a++) /*穷举每个人是否去的情况*/ for(b=0;b<=1;b++) /*1：去 0：不去*/ 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!=2&&a+e+f==2&&(b+c==0||b+c==2)&&c+d==1&&(d+e==0||d==1)) /*判断条件*/ { printf("A will%s be assigned./n",a?"":" not"); printf("B will%s be assigned./n",b?"":" not"); printf("C will%s be assigned./n",c?"":" not"); printf("D will%s be assigned./n",d?"":" not"); printf("E will%s be assigned./n",e?"":" not"); printf("F will%s be assigned./n",f?"":" not"); } return 0; }