离散数学教程-2-2-命题逻辑.pptVIP

. -吴扬扬制- 主要内容： §1.4 范 式 合取范式 基本和 求合取范式 主合取范式 极大项 求主合取范式的方法 主合取范式的性质 析取范式、主析取范式（自学、讨论） 合取范式与析取范式的联系 §1.4 范式 1.合取范式(1) 基本和 定义：基本和可归纳定义如下： （1）命题变元或命题变元的否定是基本和； （2）若A、B是基本和，则 A∨B也是基本和. 定理1.4.1:一个基本和是永真式 iff 它同时含有某个变元及其否定。 §1.4 范式 1.合取范式(2) 例: 求┐(P→Q)?(Q∨R)的合取范式。 解：原式? ┐(┐P∨Q)?(Q∨R) （蕴涵等值式） ?(┐(┐P∨Q)→(Q∨R))∧((Q∨R)→ ┐(┐P∨Q)) （等价等值式） ?((┐P∨Q) ∨(Q∨R))∧(┐(Q∨R)∨┐(┐P∨Q)) （蕴涵等值、双重否定） ?(┐P∨Q∨R) ∧((┐Q∧┐R) ∨(P∧┐Q)) （等幂律、德·摩根律） ? (┐P∨Q∨R) ∧┐Q∧(┐R∨P) （分配律） §1.4 范式 2.主合取范式（1） 极大项：n个变元的极大项是 例: 求┐(P→Q)?(Q∨R)的主合取范式。 解：原式? ┐(┐P∨