离散数学对偶与范式.pptxVIP

1 离散数学对偶与范式 2 一、对偶式与对偶原理 定义1-7.1 在给定的命题公式A中，将联结词∨、∧分别换成∧、∨ ，若有特殊变元F和T亦相互对代，所得的公式称为公式A的对偶式，记为A*。 *设A*是A的对偶式，将A*中的∨，∧，F，T分别换成∧，∨，T，F，就会得到A。即A是A*的对偶式，(A*)*A。所以说A*和A互为对偶式。 例题1 写出下列表达式的对偶式 1.（ P∨Q）∧R 2. （ P ∧ Q）∨T 3. （ P∨Q）∧（ P∨（Q ∧ S）） 第1页/共38页 3 一、对偶式与对偶原理 例题2 求P↑Q和P↓Q的对偶式。 解： P↑Q¬(P∧Q) ¬(P∧Q)的对偶式是¬(P∨Q)P↓Q 故P↑Q的对偶式是P↓Q；同样的方法可以证明P↓Q的对偶式是P↑Q。 注意：根据例题2，对偶式概念可以推广为：在仅含有联结词¬，∧，∨，↑，↓的命题公式中，将联结词∨，∧，↑，↓，F，T分别换成 ∧，∨，↓，↑，T，F，就得到了它的对偶式。 第2页/共38页 4 一、对偶式与对偶原理 *关于对偶式有以下两个结论。 定理1-7.1 设A*是A的对偶式，P1，P2，…，Pn是出现在A和A*中的原子变元，则 ¬A(P1，P2，…，Pn)A*(¬P1，¬P2，…，¬Pn) A(¬P1，¬P2