离散数学试卷答案.pdfVIP

专业：信息与计算科课程名称：离散数学学分：3试卷编号（D）

学

一、第一部分

1（10分）写出下列公式的真值表

A=(p∨q)→¬r

pqrp∨q¬r(p∨q)→¬r

000011

001001

010111

011100

100111

101100

110111

111100

每错一处扣1分，扣到10分为止

2（10分）用等值演算法判断下列公式的类型

q∧¬(p→q)

⇔q∧¬(¬p∨q)（蕴涵等值式）

⇔q∧(p∧¬q)（德摩根律）(2′)

⇔p∧(q∧¬q)（交换律，结合律）(2′)

⇔p∧0（矛盾律）(2′)

⇔0（零律）(2′)

由最后一步可知，为矛盾式.

3（10分）求主