上传者: 42197841
|
上传时间: 2021-10-28 21:45:17
|
文件大小: 588KB
|
文件类型: -
应用主析取范式分析和解决实际问题
例2.12 某科研所要从3名科研骨干A,B,C中挑选1~2名出国进修。由于工作原因,选派时要满足以下条件:
(1)若A去,则C同去。
(2)若B去,则C不能去。
(3)若C不去,则A或B可以去。
问应如何选派他们去?
分析:
(1) 将简单命题符号化
(2) 写出各复合命题
(3) 写出由(2)中复合命题组成的合取式(前提)
(4) 将(3)中公式化成析取式(最好是主析取范式)
(5) 这样每个小项就是一种可能产生的结果。
去掉不符合题意的小项,即得结论。