命题逻辑等值演算.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 练习4 解答 * (4) (p??q)?r ? ?(?(p??q)??r) ? ?((p??q)??r) (5) (p??q)?r ? ?(p?q)?r ? (p?q)?r ? ? ?((p?q)?r) ? ((p?q)?r)?((p?q)?r) (6) (p??q)?r ?(?p??q)?r ? ?(?(?p??q)??r) ? (?p??q)??r ? ((p?p)?(q?q)?(r?r) 说明：答案不惟一 练习5：应用题 * 5. 某公司要从赵、钱、孙、李、周五名新毕业的大学生中选 派一些人出国学习. 选派必须满足以下条件： (1) 若赵去，钱也去. (2) 李、周两人中至少有一人去 (3) 钱、孙两人中去且仅去一人. (4) 孙、李两人同去或同不去. (5) 若周去，则赵、钱也去. 用等值演算法分析该公司如何选派他们出国？ 练习5解答 * 解此类问题的步骤： 1.设简单命题并符号化 2. 用复合命题描述各条件 3. 写出由复合命题组成的合取式 4. 将合取式成析取式（最好是主析取范式） 5. 求成真赋值, 并做出解释和结论 练习5解答 * 解 1. 设简单命题并符号化 设 p: 派赵去，q: 派钱去，r: 派孙去，s: 派李去，u: 派周去 2. 写出复合命题 (1) 若赵去，钱也去 p?q (2) 李、周两人中至少有一人去 s?u (3) 钱、孙两人中去且仅去一人 (q??r)?(?q?r) (4) 孙、李两人同去或同不去 (r?s)?(?r??s) (5) 若周去，则赵、钱也去 u?(p?q) * 3. 设(1)—(5)构成的合取式为A A = (p?q)?(s?u)?((q??r)?(?q?r))? ((r?s)?(?r??s))?(u?(p?q)) 4. 化成析取式 A ? (?p??q?r?s??u)?(p?q??r??s?u) 结论：由上述析取式可知，A的成真赋值为00110与11001， 派孙、李去（赵、钱、周不去） 派赵、钱、周去（孙、李不去） 练习5解答 练习5解答 * A ? (?p?q)?((q??r)?(?q?r))? (s?u)?(?u?(p?q))? ((r?s)?(?r??s)) B1=(?p?q)?((q??r)?(?q?r)) ? ((?p?q??r)?(?p??q?r)?(q??r)) （分配律） B2=(s?u)?(?u?(p?q)) ? ((s??u)?(p?q?s)?(p?q?u)) （分配律） B1?B2 ? (?p?q??r?s??u)?(?p??q?r?s??u) ?(q??r?s??u)?(p?q??r?s)?(p?q??r?u) 再令 ((r?s)?(?r??s))=B3，则 B1?B2?B3 ? (?p??q?r?s??u)?(p?q??r??s?u) 练习6:消解法 * 6. 构造公式A=(p?q)?( ?q?r)? (?p?q)??r的否证, 从而证明 它是矛盾式. 解 消解序列: ① p?q A的简单析取式 ② ?p?q A的简单析取式 ③ q ①,②消解 ④ ?q?r A的简单析取式 ⑤ ?r A的简单析取式 ⑥ ?q ④,⑤消解 ⑦ ? ③,⑥消解 这是A的一个否证, 从而证明A是矛盾式.