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

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

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

A m0∨m1∨m7

于是,公式A的主析取范式为

m0∨m1∨m2∨m7

M3∨M4∨M5∨M6

A的成真赋值为

000,001,010,111

A的成假赋值为

011,100,101,110

(2)设(2)中公式为B

B (¬p→q)→(¬q∧p)

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

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

ww

w.

¬q∧p m0∨m2∨m3

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

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

所以,B的主析取范式为m0∨m2∨m3.B的主合取范式为M1

B的成真赋值为00,10,11.

khd

(吸收律)

13

课

网

易知,A的主合取范式为

后

答

案

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