离散数学课件-17等价公式.ppt

1-5等价公式;2.定义：A、B是含有命题变元P1,P2,…,Pn的命题公式，如不论对P1,P2,…,Pn作任何指派，都使得A和B的真值相同，则称之为A与B等价，记作A?B。

显然P?Q??P∨Q??Q??P

3.重要的等价公式（教材第9页）

⑴对合律??P?P

⑵幂等律P∨P?PP∧P?P

⑶结合律P∨(Q∨R)?(P∨Q)∨R

P∧(Q∧R)?(P∧Q)∧R

⑷交换律P∨Q?Q∨PP∧Q?Q∧P;;为便于记忆，将等价公式(前10个)与集合论的公式比较，请看集合公式：

⑴对合律~~A?A~A表示A的补集

⑵幂等律A∪A?AA∩A?A

⑶结合律A∪(B∪C)?(A∪B)∪C

A∩(B∩C)?(A∩B)∩C

⑷交换律A∪B?B∪AA∩B?B∩A

⑸分配律A∪(B∩C)?(A∪B)∩(A∪C)

A∩(B∪C)?(A∩B)∪(A∩C)

⑹吸收律A∪(A∩B)?AA∩(A∪B)?A

⑺底-摩根定律~(A∪B)?~A∩~B