离散数学 第2章 命题逻辑等值演算.ppt

练习题 设A与B均为含n个命题变项的公式, 判断下列命题是否为真？ A?B当且仅当A与B有相同的主析取范式 (1)为真, 这是显然的 若A为重言式, 则A的主合取范式为0 (2)为假. 注意, 任何公式与它的主范式是等值的, 显然重言式不能与0等值. 重言式的主合取范式不含极大项, 因而主合取范式为1. 若A为矛盾式, 则A的主析取范式为1 (3)的分析类似于(2), 矛盾式的主合取范式为0. 任何公式都能等值地化成{?, ?}中的公式 (4)为假, 因为{?, ?}不是完备集, 比如矛盾式?(p?q)?q不能化成{?, ?}中的公式. 任何公式都能等值地化成{?, ?, ?}中的公式 (5)为真, 注意{?, ?, ?}的子集{?, ?}为完备集. 练习题 练习题 通过求主范式判公式类型 (1)(p?q)?(?q??p) (2)?(p?q)?q (3)(p?q)??p 用等值演算法求解 (1) (p?q)?(?q??p) ? ?(?p?q)?(q??p) (消去?) ① ? (p??q)?(q??p) (?内移) ② ? (p??q)?(?p?q)?(p?q)?(?p??q) ③ ? m2 ? m1 ? m3 ? m0 ④ ? m0 ? m1 ? m2 ? m3 ⑤ ? 1 ⑥ 问由②如何得③？ ⑤为主析取范式, ⑥为主合取范式 结论: (1)为重言式 用等值演算法求解 (2) ?(p?q)?q ? ?(?p?q)?q ① ? p??q?q ② ? 0 ③ ? M0 ? M1 ? M2 ? M3 ④ 问: 由②如何得③？ ③为主析取范式, ④为主合取范式 结论: (2)为矛盾式. 用等值演算法求解 (3) (p?q)??p ? m0 ? m1 ① ? M2 ? M3 ② 请自己等值演算得①与② 结论: (3)为可满足式 请用真值表再解此题 已知命题公式A中含3个命题变项p, q, r, 并知道它的成真赋值为001, 010, 111, 求A的主析取范式和主合取范式, 及A对应的真值函数. 答案 A的主析取范式为m1 ? m2 ? m7 A的主合取范式为M0 ? M3 ? M4 ? M5 ? M6 设A对应的真值函数为F, 则 F(001)=F(010)=F(111)=1 F(000)=F(011)=F(100)=F(101)=F(110)=0 试说明以上得出答案的理由 在以下各联结词集中各求一个公式与 A = (p??q)?r等值. (1){?, ?, ?} (2){?, ?} (3){?, ?} (4){?, ?} (5){?} (6){?} (1) (p??q)?r ? (?p??q)?r (满足要求) (2) (p??q)?r ? ?(p?q)?r (满足要求) (3) (p??q)?r ? (?p??q)?r ??(?(?p??q)??r) (满足要求) (4)(p??q)?r ? ?((p??q)??r) (满足要求) (5) (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) (满足要求) 说明: 以上各题答案不惟一 要求: 对每小题分别给出不同形式的答案 某公司要从赵、钱、孙、李、周五名新毕业的大学生中选派一些人出国学习. 选派必须满足以下条件: