离散数学之等值演算.ppt

离散数学之等值演算

等值式定义若等价式A?B是重言式，则称A与B等值，记作A?B，并称A?B是等值式说明：定义中，A,B,?均为元语言符号,A或B中可能有哑元出现.例如，在(p?q)?((?p?q)?(?r?r))中，r为左边公式的哑元.用真值表可验证两个公式是否等值请验证：p?(q?r)?(p?q)?rp?(q?r)(p?q)?r2

基本等值式双重否定律:??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)3

基本等值式(续)德·摩根律:?(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排中律: