命题逻辑的等值演算

A?0?0 A?1?1

9） 同一律

A?1?A A?0?A 10）排中律

A??A?1

11）矛盾律

A??A?0 12）蕴含表达式

A?B??A?B

13）等价表达式

A?B?(A?B)?(B?A) 14）逆反律

A?B??B??A A?B??B??A

15）归谬律

(A?B)?(A??B)??A

5. 等值演算举例

例5.1 课本第19页例2.3。用等值演算验证等值式

(p?q)?r?(p?r)?(q?r)

从左边开始演算：

读者也可以尝试从右边开始演算： 例5.2 课本第21页例2.6。推荐自学。

5