离散数学第四版 清华大学出版社 课后答案(10)

p∧q∧¬p (p∧¬p)∧q 0.

（结合律、交换律）

（矛盾式）（零律）

由最后一步可知该公式为矛盾式。（2）((p→q)∧(q→p))→(p q)

¬(¬(p∧q)∨p)（蕴含等值式）

由于较高层次等价号两边的公式相同，因而此公式无成假赋值，所以，它为重言式。

（3）(¬p→q)→(q→¬p)

(p∨q)→(¬q∨¬p) ¬(p∨q)∨(¬q∨¬p)

（蕴含等值式）

后

(¬p∧q)∨¬q∨¬p

¬q∨¬p

（德·摩根律）

搜索“diyifanwen.net”或“第一范文网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读，第一范文网，提供最新人文社科离散数学第四版 清华大学出版社 课后答案(10)全文阅读和word下载服务。