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

（3）从左边开始演算

¬(p q)

((p→q)∧(q→p))

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

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

请读者填上每步所用的基本等值式。本题也可以从右边开始演算

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

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

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

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

ww

1.9

w.

¬(p q).

（1）

¬(1∧p∨q)∧(¬q∨p)∧1 ¬((p→q)∧(q→p))

读者填上每步所用的基本的等值式。

¬((p∧q)→p)

¬(¬(p∧q)∨p

¬(¬(p∧q)∨p)

khd

8

课

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

（蕴含等值式）（德·摩根律）

网

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

后

答

案

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