离散数学 ch2精选.ppt

第二章 命题逻辑等值演算 本章主要内容 2.1 等值式 例题 例1 判断下列各组公式是否等值: (二) 基本等值式 (1) 双重否定律 (2) 幂等律 (3) 交换律 (4) 结合律 (5) 分配律 (6) 德摩根律 (7) 吸收律 (二) 基本等值式 (8) 零律 (9) 同一律 (10) 排中律 (11) 矛盾律 (12) 蕴涵等值式 (13) 等价等值式 (14) 假言易位 (15) 等价否定等值式 (16) 归谬论 (三) 等值演算与置换规则 1. 等值演算: (四) 等值演算应用举例 1 证明两个公式等值 例2 证明 (p∨q)?r ? (p?r)?(q?r) 2.2 析取范式与合取范式 1 文字: 2 简单析取式: 3 简单合取式: 4 析取范式: 5 合取范式: 6 范式: (二) 范式性质 定理2.1 (三) 范式求解方法 定理2.3 (范式存在定理) 任何命题公式都存在与之等值的析取范式与合取范式 (三) 范式求解方法 例5 求(p?q) ? r的析取范式与合取范式 (四) 极小项与极大项 (四) 极小项与极大项 (五) 极小项极大项实例 由两个命题变项 p, q 形成的极小项与极大项 (五) 极小项极大项实例 (六) 主析取范式与主合取范式 定义2.5 主析取范式—— 主合取范式—— (七) 求主范式的步骤 (七) 求主范式的步骤 求主合取范式的步骤: (八) 求主范式实例 例6 求公式 (p??q)?r 的主析取范式和主合取范式 (八) 求主范式实例 (p??q)?r ? (p?r)?(q?r) (合取范式) ④ p?r ? p?(q??q)?r ? (p?q?r)?(p??q?r) ? M0?M2 ⑤ q?r ? (p??p)?q?r ? (p?q?r)?(?p?q?r) ? M0?M4 ⑥ ⑤, ⑥代入④ 并排序，得 (p??q)?r ? M0?M2?M4 (主合取范式) (九) 主范式的应用 2. 判断公式的类型 (九) 主范式的应用 例7 用主范式判断公式的类型 (1) ?(p?q)?q (2) p?(p?q) (3) (p?q)?r (九) 主范式的应用 3. 判断两个公式是否等值 例8 用主范式判以下每一组公式是否等值 ⑴ p?(q?r) 与 (p?q)?r ⑵ p?(q?r) 与 (p?q)?r (九) 主范式的应用 4. 解实际问题 例9 某单位要从A,B,C三人中选派若干人出国考察, 需满足下 述条件: (1) 若A去, 则C必须去; (2) 若B去, 则C不能去; (3) A和B必须去一人且只能去一人. 问有几种可能的选派方案? (九) 主范式的应用 求A的主析取范式 A=(p?r)?(q??r)?((p??q)?(?p?q)) ? (?p?r)?(?q??r)?((p??q)?(?p?q)) ? ((?p??q)?(?p??r)?(r??q)?(r??r)) ?((p??q)?(?p?q)) ? ((?p??q)?(p??q))?((?p??r)?(p??q)) ?((r??q)?(p??q))?((?p??q)?(?p?q)) ?((?p??r)?(?p?q))?((r??q)?(?p?q)) ? (p??q?r)?(?p?q??r) 成真赋值:101,010 结论: 方案1 派A与C去, 方案2 派B去 (十) 两种主范式的转化 1 由主析取范式确定主合取范式 2.3 联结词的完备集 举例 (二)真值函数与命题公式的关系 (三) 联结词完备集 定义2.7: 联结词完备集 (三) 联结词完备集 推论 以下都是联结词完备集 (1) S1 = {?, ?, ?, ?} (2) S2 = {