面向对象程序设计1.5.pptVIP

1.5 对偶与范式 对偶式与对偶原理 析取范式与合取范式 主析取范式与主合取范式 对偶式和对偶原理 定义 在仅含有联结词?, ∧,∨的命题公式A中，将 ∨换成∧, ∧换成∨，若A中含有0或1，就将0换成 1，1换成0，所得命题公式称为A的对偶式，记为A*. 从定义不难看出，(A*)* 还原成A 定理 设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) 定理（对偶原理）设A，B为两个命题公式， 若A ? B，则A* ? B*. 析取范式与合取范式 文字:命题变项及其否定的总称 简单析取式:有限个文字构成的析取式 如 p, ?q, p??q, p?q?r, … 简单合取式:有限个文字构成的合取式 如 p, ?q, p??q, p?q?r, … 析取范式:由有限个简单合取式组成的析取式 A1?A2???Ar, 其中A1,A2,?,Ar是简单合取式 合取范式:由有限个简单析取式组成的合取式 A1?A2???Ar , 其中A1,A2,?,Ar是简单析取式 析取范式与合取范式 析取范式:由有限个简单合取式组成的析取式