图灵编程学校要在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也不去. 问应当让哪几个人去(去用1表示)?那几个人不去（不去用0表示）。

无

若干行： 形式如A:1 B:0 ......

用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随便). 上述各表达式之间的关系为“与”关系.穷举每个人去或不去的各种可能情况,代入上述表达式中进行推理运算,使上述表达式均为“真”的情况就是正确的结果。