离散数学第三节方案.pptVIP

* 主范式的用途(续) 例 某公司要从赵、钱、孙、李、周五名新毕业 的大学生中选派一些人出国学习. 选派必须满足 以下条件： (1)若赵去，钱也去； (2)李、周两人中至少有一人去； (3)钱、孙两人中有一人去且仅去一人； (4)孙、李两人同去或同不去； (5)若周去，则赵、钱也去. 试用主析取范式法分析该公司如何选派他们出国？ * 例 (续) 解此类问题的步骤为： ① 将简单命题符号化 ② 写出各复合命题 ③ 写出由②中复合命题组成的合取式 ④ 求③中所得公式的主析取范式 * 例 (续) 解 ① 设p：派赵去，q：派钱去，r：派孙去， s：派李去，u：派周去. ② (1) (p?q) (2) (s?u) (3) ((q??r)?(?q?r)) (4) ((r?s)?(?r??s)) (5) (u?(p?q)) ③ (1) ~ (5)构成的合取式为 A=(p?q)?(s?u)?((q??r)?(?q?r))? ((r?s)?(?r??s))?(u?(p?q)) * 例 (续) ④ A ? (?p??q?r?s??u)?(p?q??r??s?u) 结论：由④可知，A的成真赋值为00110与11001， 因而派孙、李去