发布时间 : 星期日 文章命题逻辑的等值演算更新完毕开始阅读a8c02bf0960590c69fc3763e
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