Two∧Three∧Four∧Five∨O
e∧Two∧Three∧Four∧Five∨O
e∧Two∧Three∧Four∧Five∨O
e∧Two∧Three∧Four∧Five∨O
e∧Two∧Three∧Four∧Five∨O
e∧Two∧Three∧Four∧Five∨O
e∧Two∧Three∧Four∧Five∨O
e∧Two∧Three∧Four∧FiveO
e∧Two∧Three∧Four∧Five∨O
e∧Two∧Three∧Four∧Five∨O
e∧Two∧Three∧Four∧Five∨O
e∧Two∧Three∧Four∧Five∨O
e∧Two∧Three∧Four∧Five
方案一方案二方案三方案四方案五
一二三四五班班班班班无无有有无
无有有有无
有有有有无
有有有有有
有有无无有
条件1
满足
满足满足满足
满足
条件2
满足
满足满足满足
满足
条件3
满足
满足满足满足
满足
条件4
满足
满足满足满足
满足
1如果1班有人选中，则2班有人选中。2若5班有人选上则1班与2班均有人选上。35班与4班必有一班有被选中。43班与4班同时有人选上或同时没人选上。
4、某公司要从A、B、C、D、E选派一些人去参观世博会，必须满足如下条件：1若A去则B肯定不能去；2若A与C只能去一个；3C与D两人同去或同不去；4若B去则C肯定去5若E去则B，C，D肯定有一人陪同。证明：是否存在满足以上条件的人选？若存在则请给出全部方案。解：这句知表示为：
A→B∧A∧C∨A∧C∧CD∧B→C∧E→B∨C∨D满足5个条件，则每个条件的值为真，故其合取为真，将其转换为主析取范式，则可以判断是否有可能的方案。
A→B∧A∧C∨A∧C∧CD∧B→C∧E→B∨C∨DA∨B∧A∧C∨A∧C∧C∧D∨C∧D∧E∨B∨C∨DA∧C∨A∧C∧B∨A∧C∧B∧C∧D∨C∧D∧E∨B∨C∨DA∧C∧D∨A∧B∧C∧D∨A∧B∧C∧D∧E∨B∨C∨DA∧C∧D∧E∨A∧C∧D∧B∨A∧C∧D∨A∧B∧C∧D∧E∨A∧B∧C∧D∧E∨A∧B∧C∧D
A∧B∧C∧D∧E∨A∧B∧C∧D∧E∨A∧B∧C∧D∨A∧B∧C∧D∨A∧C∧D∧
4
fE∨A∧C∧DA∧B∧C∧D∧E∨A∧B∧C∧D∧E∨∨A∧B∧C∧D∧E∨A∧B∧C∧D∧E∨A∧B∧C∧D∧E∨A∧B∧C∧D∧E∨A∧B∧C∧D∧E∨A∧B∧C∧D∧E∨A∧B∧C∧D∧E∨A∧B∧C∧D∧E∨A∧B∧C∧D∧E∨A∧B∧C∧D∧E
A∧B∧C∧D∧E∨A∧B∧C∧D∧E∨A∧B∧C∧D∧E∨A∧B∧C∧D∧E∨A∧B∧C∧D∧E
条件条件条件条件条件
1
2
3
4
5
A∧B∧C∧r