《 离散数学 》试卷 第 2 页 共 2 页
)()()(R Q P R Q P R Q P ∨?∨?∧?∨∨?∧∨∨?∧ )6,5,4,3,2,1(π?(主合取范式) 8分 )7,0(∑?（主析取范式） 10分 2. （1）,A R <>的哈斯图为
2分
（2）（空2分）
10分
四、证明题（每小题10分，共30分）
1. 根据CP 规则，上式等价于
))()(())()(())()((x P x R x Q x R x x Q x P x ?→??→?∧→? 2分 而
))()(())()((x Q x R x x Q x P x ?→?∧→?
)))()(())()(((x Q x R x Q x P x ?→∧→?? 10Q 4分
)))()(())()(((x Q x R x P x Q x ?→∧?→??? 245,E E 6分 ))()(())()((x Q x R x P x Q ?→∧?→?? 1Q 8分 )()(x P x R ?→? 6I 10分 所以，))()(())()(())()((x P x R x Q x R x x Q x P x ?→→?→??→?
5