离散数学 ch2探究.pptVIP

第二章 命题逻辑等值演算 本章主要内容 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 主析取范式