2015离散数学对偶与范式.pptVIP

P Q R 极小项 极大项 0 0 0 m000=┐P∧┐Q∧┐R M000=P∨Q∨R 0 0 1 m001=┐P∧┐Q∧R M001=P∨Q∨┐R 0 1 0 m010=┐P∧Q∧┐R M010=P∨┐Q∨R 0 1 1 m011=┐P∧Q∧R M011=P∨┐Q∨┐R 1 0 0 m100=P∧┐Q∧┐R M100=┐P∨Q∨R 1 0 1 m101=P∧┐Q∧R M101=┐P∨Q∨┐R 1 1 0 m110=P∧Q∧┐R M110=┐P∨┐Q∨R 1 1 1 m111=P∧Q∧R M111=┐P∨┐Q∨┐R 定理（范式存在定理）： 任何命题公式都存在着与之等值的主析取范式和主合取范式, 并且是惟一的. 等价式(equivalences) * 求主析取范式的方法 直接等价 设公式A含命题变项p1,p2,…,pn (1) 除?， ?，?以外的联接词变没。 (2)将A变析取范式A=A1? A2? … ? As, 其中Aj是简单/基本合取式。 (3)将Aj变极小项，即长度为n的简单/基本合取式。 (4)消去重复出现的Aj 。 二. 真值表法 p q r p ? q ?p?r (p ? q ) ?(?p? r) T T T T F T T T F T F T T F T F F F T F F F F F F T T F T T F T F F F F F F T F T T F F F F F F 例：求命题公式 的主析取范式和主合取范式。 p q r p ? q ?p?r (p ? q ) ?(?p? r) T T T T F T T T F T F T T F T F F F T F F F F F F T T F T T F T F F F F F F T F T T F F F F F F 真值表法 应 用 1.某科研所要从3名科研骨干A、B 、C中挑选1-2名出国进修，由于工作需要，选派时要满足以下条件： （1）若A去，则C同去 （2）若B去，则C不能去 （3）若C不去，则A或B可以去 问所里应如何选派他们？ 应 用 2. 有一会议室,四周都有出入门,门旁装有开关（双态开关),为了控制全室的照明，要求设计一线路，使得改变任一只开关的状态，就能改变全室的明暗。假设,室中无人时灯暗,有人时灯亮。写出控制电路的逻辑表达式并画出电路图。 WORD AND EXPRESSIONS literal 文字 fundamental /elementary conjunction 基本合取式 fundamental /elementary disjunction 基本析取式 disjunctive normal form 析取范式 Complete /full disjunctive normal form 主析取范式 Conjunctive /full normal form 合取范式 complete conjunctive normal form 主合取范式 1-7.1 对偶式 定义1-7.1 在给定的命题公式A中，将联结词?换成 ?，将?换成?，若有特殊变元F和T亦相互取代，所得公式A*称为A的对偶式。 显然，A也是A*的对偶式。 例 : 求对偶式 (P ? Q )? R (P ? Q )? T P ?Q P ?Q ?(P ? Q )?( P ? ? ( Q ? ? S)) (P?Q)?R (P?Q)?F P ?Q P ?Q ?(P ? Q)?( P? ? ( Q? ? S))