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

¬p∨¬q.

由最后一步容易观察到，11为该公式成假赋值，因而它不是重言式，又00，01，10为成真赋值，因而它不是矛盾式，它是非重言式的可满足式。

是全功能集，可以用观察法或等值演算法寻找与真值函数等值的公式。

首先寻找在各联结词集中与F等值的公式。

（1）设A=¬(p→q)，易知A是{¬,→}中公式且与F等值，即F A.（2）设B=p∧¬q，易知B是{¬,∧}中公式且与F等值，即F B.（3）设C=¬(¬p∨q)，易知C是{¬,∧}中公式，且F C.

（4）设D=(p↑(q↑q))↑(p↑(q↑q))，易知D为{↑}中公式，且F D.（5）设E=(p↓p)↓q，易知E为{↓}中公式，且F E.

ww

w.

1.10

题中给出的F，G，H，R都是2元真值函数。给出的5个联结词集都

khd

（交换律）

9

课

（吸收律）

网

（蕴含等值式）

答

案

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