离散数学高等教育出版社屈婉玲耿素云张立昂PPT课件.ppt

离散数学第2章,高等教育出版社,屈婉玲,耿素云,张立昂,课件,PPT;2.1 等值式;等值式例题;等值式例题;基本等值式;基本等值式;等值演算与置换规则;等值演算的应用举例;证明两个公式不等值 例3 证明 p?(q?r) 与 (p?q)?r 不等值 证 方法一 真值表法, 见例1(2) 方法二 观察法. 观察到000, 010是左边的成真赋值，是右边的成假赋值 方法三 先用等值演算化简公式，然后再观察 p?(q?r) ??p??q?r (p?q)?r ??(?p?q)?r?(p??q)?r 更容易看出前面的两个赋值分别是左边的成真赋 值和右边的成假赋值;判断公式类型: A为矛盾式当且仅当A ? 0 A为重言式当且仅当A ? 1 例4 用等值演算法判断下列公式的类型 (1) q??(p?q) (2) (p?q)?(?q??p) (3) ((p?q)?(p??q))?r) ;判断公式类型;2.2 析取范式与合取范式;范式概念;范式的性质;命题公式的范式;命题公式的范式;求公式的范式; (2) (p??q)?r ? (?p??q)?r （消去第一个?） ? ?(?p??q)?r （消去第二个?） ? (p?q)?r （否定号内移——德摩根律) 析取范式 ? (p?r)?(q?r) （?对?分配律） 合取范式;极小项与极大项;实例;实例;主析取范式与主合取范式;求公式主范式的步骤;求公式主范式的步骤;实例;实例;主范式的应用;2. 判断公式的类型 设A含n个命题变项. A为重言式 ? A的主析取范式含全部2n个极小项 ? A的主合取范式不含任何极大项, 记为1. A为矛盾式 ? A的主合析取范式含全部2n个极大项 ? A的主析取范式不含任何极小项, 记为0. A为非重言式的可满足式 ? A的主析取范式中至少含一个、但不是全 部极小项 ? A的主合取范式中至少含一个、但不是全 部极大项.;例7 用主析取范式判断公式的类型: (1) A? ?(p?q)?q (2) B? p?(p?q) (3) C? (p?q)?r 解 (1) A ? ?(? p?q)?q ? ( p??q)?q ? 0 矛盾式 (2) B ? ? p?(p?q) ? 1 ??? m0?m1?m2?m3 重言式 (3) C ? ?(p?q)?r ? (?p??q)?r ? (?p??q?r)?(?p??q??r)?(?p??q?r) ?(?p?q?r)?(p??q?r)?(p?q?r) ? m0?m1?m3? m5?m7 非重言式的可满足式;3. 判断两个公式是否等值 例8 用主析取范式判以下每一组公式是否等值 ⑴ p?(q?r) 与 (p?q)?r ⑵ p?(q?r) 与 (p?q)?r 解 p?(q?r) = m0?m1?m2?m3? m4?m5? m7 (p?q)?r = m0?m1?m2?m3? m4?m5? m7 (p?q)?r = m1?m3? m4?m5? m7 显见，⑴中的两公式等值，而⑵的不等值.;4. 解实际问题 例9 某单位要从A,B,C三人中选派若干人出国考察, 需满足下 述条件: (1) 若A去, 则C必须去; (2) 若B去, 则C不能去; (3) A和B必须去一人且只能去一人. 问有几种可能的选派方案? 解 记 p:派A去, q:派B去, r:派C去 (1) p?r, (2) q??r, (3) (p??q)?(?p?q) 求下式的成真赋值 A=(p?r)?(q??r)?((p??q)?(?p?q));求A的主析取范式 A=(p?r)?(q??r)?((p??q)?(?p?q