面向对象程序设计1.3-4.pptVIP

1.3 命题逻辑等值演算 等值式 基本等值式 等值演算 置换规则 等值式 真值表法(续) 例2 判断下述3个公式之间的等值关系: p?(q?r), (p?q)?r, (p?q)?r 解 真值表法 例1 判断 ?(p?q) 与 ?p??q 是否等值 解 基本等值式 双重否定律 ??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 同一律 A?0?A, A?1?A 排中律 A?