c离散数学第二章.ppt

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