清华离散数学(第2版)：2.2-3.pptVIP

2.2 命题逻辑等值演算 2.2.1 等值式与等值演算 等值式与基本等值式 真值表法与等值演算法 2.2.2 联结词完备集 真值函数 联结词完备集 与非联结词和或非联结词 等值式 真值表法 例1 判断 ?(p?q) 与 ?p??q 是否等值 解 真值表法(续) 例2 判断下述3个公式之间的等值关系: p?(q?r), (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 ?(A?B)??A??B 吸收律 A?(A?B)?A, A?(A?B)?A 基本等值式(续) 零律 A?1?1, A?0?0 同一律