第二章命题逻辑等值演算解析.pptVIP

第二章 命题逻辑等值演算 主要内容 等值式与基本的等值式 等值演算与置换规则 析取范式与合取范式，主析取范式与主合取范式 联结词完备集 可满足性问题与消解法 2.1 等值式 定义2.1 若等价式A?B是重言式，则称A与B等值，记作A?B，并称A?B是等值式 几点说明： 定义中，A, B, ?均为元语言符号 A或B中有可能出现哑元. 例如 (p?q) ? ((?p?q)?(?r?r)) r为左边公式的哑元. 用真值表可检查两个公式是否等值 等值式例题 等值式例题 例2.2 判断下列各组公式是否等值: (1) p?(q?r) 与 (p?q) ?r (2) (p?q) ?r 与(p?q) ?r 基本等值式 1.双重否定律 A? ?? A 2.幂等律 A?A?A, A?A?A 3.交换律 A?B?B?A, A?B?B?A 4.结合律 (A?B)?C?A?(B?C), (A?B)?C?A?(B?C) 5.分配律 A?(B?C)?(A?B)?(A?C), A?(B?C)?(A?B)?(A?C) 6.德摩根律 ?(A?B)??A??B，?(A?B)??A??B