天津理工大学离散数学(魏雪丽版)检测题答案.docVIP

- PAGE 14 - 天津理工大学《离散数学》第一章检测题答案 一、填空题（每空2分，共30分） 1． 2． 3．→，，∧，， ，， ， 。 4．， 5． 6． 7． 二、单项选择题（每小题2分，共20分） 1 2 3 4 5 6 7 8 9 10 得分 D B C B C D A A C B 三、简答题（每小题6分，共12分） 1．构造命题公式的真值表． 0 0 0 1 1 0 0 1 1 1 0 1 0 0 0 0 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 2．求命题公式的主析取范式和主合取范式。 3．判断命题公式与 是否等价。 解： 等价 四．证明题（共32分） １．（10分）用CP规则证明； 1. P 6. T(4,5) I （2分） 2. P 7. T(3,4) I（2分） 3. T(1, 2) I （2分） 8. T(6,7) I（2分） 4. P(附加前提) 9. CP （2分） 5.