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

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

(¬p∧¬q)∨(¬p∧q))∨((¬p∨¬p)∨(p∧¬q) (¬p∧¬q)∨(¬p∧q)∨(p∨¬p) m0∨m1∨m2.

②p↓q

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

由于p↑q与p↓qp↑q p↓q.1.14

设p:A输入;

设q:B输入;设r:C输入;

它们的主析范邓范式,而后,将它们都化成与之等值的{↓}中的公式即可.

表1.5

p00001111

q00110011

khd

r01010101

课

由题的条件,容易写出FA,FB,FC的真值表,见表1.5所示.由真值表分别写出

FA

00001111

w.ww

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

16

网

FB

00110000

后

答

案

FC

01000000

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