离散数学第二章2.pptVIP

* 主析取范式的用途(续) (3) 判断两个公式是否等值 例4 用主析取范式判断下面2组公式是否等值: (1) p与(?p?q)?(p?q) 解 p ? p?(?q?q) ? (p??q)?(p?q) ? m2?m3 (?p?q)?(p?q) ? ?(?p?q)?(p?q) ? (p??q)?(p?q) ? m2?m3 故 p ? (?p?q)?(p?q) * 实例(续) (2) (p?q)?r 与 p?(q?r) 解 (p?q)?r ? (p?q??r)?(p?q?r) ?(?p??q?r)?(?p?q?r)?(p??q?r)?(p?q?r) ? m1?m3?m5? m6?m7 p?(q?r) ? (p?q)?(p? r) ?(p?q??r)?(p?q?r)?(p??q?r)?(p?q?r) ? m5? m6?m7 故 (p?q)?r p?(q?r) * 实例 例5 某单位要从A,B,C三人中选派若干人出国考察, 需满 足下述条件: (1) 若A去, 则C必须去; (2) 若B去, 则C不能去; (3) A和B必须去一人且只能去一人. 问有几种可能的选派方案? 解 记p:派A去, q:派B去, r:派C去 (1) p?r, (2) q??r, (3) (p??q)?(?p?q) 求下式的成真赋值 A=(p?r)?(q??r)?((p??q)?(?p?q)) * 实例(续) 求A的主析取范式 A=(p?r)?(q??r)?((p??q)?(?p?q)) ? (?p?r)?(?q??r)?((p??q)?(?p?q)) ? ((?p??q)?(?p??r)?(r??q)?(r??r)) ?((p??q)?(?p?q)) ? ((?p??q)?(p??q))?((?p??r)?(p??q)) ?((r??q)?(p??q))?((?p??q)?(?p?q)) ?((?p??r)?(?p?q))?((r??q)?(?p?q)) ? (p??q?r)?(?p?q??r) 成真赋值:101,010 结论: 方案1 派A与C去, 方案2 派B去 * 实例??组合电路 逻辑门 例2.6 一盏灯由2个开关控制, 按动任何一个开关都能打开或关闭灯. 试设计一个这样的线路. 解 x,y:开关的状态, F:灯的状态, 打开为1, 关闭为0. 设x=y=0时, F=1. F的主析取范式 F=m0∧m3 = (?x∧?y)∨(x∧y) x y x?y x y x?y x ?x 与门 或门 非门 x y F 0 0 1 0 1 0 1 0 0 1 1 1 * 实例(续) x y x∧y ?x∧?y (x∧y)∨(?x∧?y) * 主合取范式 由主析取范式求主合取范式 设 没有出现的极小项是 其中t=2n-s, 于是 * 主合取范式(续) 例7 求A=(?p??q?r)?(?p?q?r)?(p?q?r)的主合取范式 解 A ? m1?m3?m7 ? M0?M2?M4?M5?M6 矛盾式的主合取范式含全部2n个极大项 重言式的主合取范式不含任何极大项, 记作1 * 2.2 命题逻辑等值演算 2.2.1 等值式与等值演算 等值式与基本等值式 真值表法与等值演算法 2.2.2 联结词完备集 联结词完备集 与非联结词, 或非联结词 * 等值式 定义2.11 若等价式A?B是重言式, 则称A与B等值, 记作 A?B, 并称A?B是等值式 说明: (1) ?是元语言符号, 不要混同于?和= (2) A与B等值当且仅当A与B在所有可能赋值下的真值都相 同, 即A与B有相同的真值表 (3) n个命题变项的真值表共有 个, 故每个命题公式都有 无穷多个等值的命题公式 (4) 可能有哑元出现. 在B中出现, 但不在A中出现的命题变项称作A的哑元. 同样,在A中出现, 但不在B中出现的命题变项称作B的哑元. 哑元的值不影响命题公式的真值. * 真值表法 例1 判断 ?(p?q) 与 ?p??q 是否等值 解 结论: ?(p?q) ? (?p??q) p q ?p ?q