左孝凌离散数学件1.7对偶与范式.pptVIP

* 例:判断下列命题公式的类型. (1) (P?Q)?R (2) ┐(P?Q)?Q (3) (P?Q)?Q?Q 解:(1) (P?Q)?R ?m1∨m3∨m4∨m7为可满足式. 4. 主合（析）取范式的应用 * (3)判断两个命题是否等价： 设公式A、B中共含有n个命题变元，按n个命题变元求出A、B的主析(合)取范式 、 。若 = ，则A ? B，否则A、B不等价. 例:试判断下列各组命题是否等价. (1) (P?Q)∧(P?R) 与 P?(Q∧R) (2) P?(Q∧R) 与 P∨(Q?R) 4. 主合（析）取范式的应用 * 解:(1) (P?Q)∧(P?R) ? (┐P∨Q)∧(┐P∨R) ? (┐P∨Q∨(R∧┐R)∧(┐P∨R∨(Q∧┐Q) ?(┐P∨Q∨R)∧(┐P∨Q∨┐R)∧ (┐P∨R∨Q)∧ (┐P∨R∨┐Q) ? M4∧M5∧M6 P?(Q∧R)?┐P∨(Q∧R) ?(┐P∨Q)∧(┐P∨R) ? M4∧M5∧M6 所以 (P?Q)∧(P?R)? P?(Q∧R) 4. 主合（析）取范式的应用 * 解(2) P?(Q∧R)?┐P∨(Q∧R) ?(┐P∨Q)∧(┐P∨R) ? M4∧M5∧M6 ? m0 ∨ m1 ∨ m2 ∨ m3∨m7 P∨(Q?R) ? P∨┐Q∨R ? M2 ?m0∨m1∨m3∨m4∨m5∨m6∨m7 所以 P?(Q∧R)与P∨(Q?R) 不等价. 4. 主合（析）取范式的应用 * 某科研所有三名青年高级工程师A，B，C。所里要选派 他们中的1到2人出国进修，由于所里工作的需要，选派 时必须满足以下条件： ①若A去，则C也可以去 ②若B去，则C不能去 ③若C不去，则A或B可以去 问所里应如何选派他们？ 5. 主合（析）取范式的应用-解决一个实际问题 * 第一章 命题逻辑（Propositional Logic） 1.7对偶与范式(Dual Normal Form) 解: 设 P:派A去。Q :派B去。R :派C去。 根据所要满足的条件，得命题公式为： (P?R)∧(Q? ┐R)∧(┐R?( P∨Q) ) 求此公式的主析取范式: 原式?(┐P∧┐Q∧R)∨(┐P∧Q∧┐R)∨(P∧┐Q∧R) 因此有三种选派方案：Ｃ去，而Ａ、Ｂ都不去；Ｂ去，而Ａ、Ｃ都不去；Ａ、Ｃ都去，而Ｂ不去. * 第一章 命题逻辑（Propositional Logic） 1.7对偶与范式(Dual Normal Form) 小结:本节主要介绍了对偶式、对偶原理、 析(合)取范式、(主)析(合)取范式。重点掌握(主)析(合)取范式的求法。 作业: 1. P39 (1), (4) a,c,f (5) b,d 2. 预习§1.8 * 主析取范式的求法 定理1.7.6:在命题公式A的真值表中,真值为1的指派对应的小项的析取, 即为A的主析取范式。 1.命题公式的主析取范式-求法 例题7 求公式P →Q，P∨ Q，┐ (P ∧ Q ）和(P →Q)? (﹁ P∨ Q)的主析取范式。 真值表法： 故 P → Q ? (P ∧Q) ∨(┐P ∧Q ) ∨(┐P ∧┐Q ) P Q P →Q P∨ Q ┐ (P ∧ Q ） (P →Q)? (﹁ P∨ Q) T T T T F T T F F T T T F T T T T T F F T F T T P∨ Q ?(P ∧Q) ∨(P ∧┐Q ) ∨(┐P ∧Q ) ┐ (P ∧ Q) ? (P ∧┐Q) ∨(┐P ∧Q ) ∨(┐P ∧┐Q ) 请大家写出(P →Q)? (﹁ P∨ Q)的主析取范式 例题8 设一个公式A的真值表如下,求公式A的主析取范式。 P Q R A T T T T T T F F T F T F T F F T F T T F F T