离散数学第2章探究.pptVIP

当命题变项较多时，真值表验证两个公式的等值工作量很大 第二章 作业 补充填空题： (1)设A为含命题变项p、q、r的重言式，则公式 A?((p?q)?r)的类型为 。 (2)设B为含命题变项p、q、r的矛盾式，则公式 B?((p?q)?r)的类型为 。 (3)设p,q为命题变项，则(?p?q)的成真赋值为 。 (4)设p,q为真命题，r,s为假命题，则复合命题(p?r)?(?q?s)的真值为 。 (5)矛盾式的主析取范式为 。 (6)设公式A含命题变项p,q,r,又已知A的主合取范式为M0?M2?M3?M5，_则A的主析取范式为 。 习题二 P36 3.(2) 4.(3)(4) 5.(3) 6.(3) 7.(2) 8.(3) 11.(3) 15.(1) 17.(1) 19.(2) 21.(1) 30.选做 * * * * * * * * * * * * * * * * * * * * *