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

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

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

(p↓q)↓(p↓p)

FB (¬p∧q∧¬r)∨(¬p∧q∧r)

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

p↓¬q)

p↓(q↓q).

FC (¬p∧¬p∧r)

¬(p∨q)∧r (p↓q)∧r

ww

分析

w.

¬¬((p↓q)∧r ¬(¬(p↓q)∨¬r ¬(p↓q)↓¬r

((p↓q)↓(p↓q))↓(r↓r)\

在将公式化成{↑}或{↓}中公式时,应分以下几步:

khd

17

课

¬(p∧¬q)

网

¬(p↓q)

后

答

案

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