离散数学(对偶和范式)详细版.pptVIP

空议由乙方提供他人呢 空议由乙方提供他人呢 空议由乙方提供他人呢 空议由乙方提供他人呢 空议由乙方提供他人呢 * 1.5 对偶与范式 对偶式与对偶原理 析取范式与合取范式 主析取范式与主合取范式 0.0 * 对偶式和对偶原理 定义 在仅含有联结词?, ∧,∨的命题公式A中，将∨换成∧, ∧换成∨，若A中含有0或1，就将0换成1，1换成0，所得命题公式称为A的对偶式，记为A*. 从定义不难看出，(A*)* 还原成A 显然，A也是A*的对偶式。可见A与A*互为对偶式。 0.0 * 对偶式和对偶原理 定理 设A和A*互为对偶式，p1,p2,…,pn是出现在A和 A*中的全部命题变项，将A和A*写成n元函数形式， 则 (1) ? A(p1,p2,…,pn) ? A* (? p1, ? p2,…, ? pn) (2) A(? p1, ? p2,…, ? pn) ? ? A* (p1,p2,…,pn) (1)表明，公式A的否定等价于其命题变元否定的对偶式； (2)表明，命题变元否定的公式等价于对偶式之否定。 0.0 * 对偶式和对偶原理 定理（对偶原理）设A，B为两个命题公式， 若A ? B，则A* ? B*. 有了等值式、代入规则、替换规则和对偶定理，便可以得到更多的永真式，证明更多的等值式，使化简命题公式更为方便。 0.0 * 判定问题 真值表 等值演算 范式