离散数学第二章练习题
- 格式:doc
- 大小:24.00 KB
- 文档页数:2
第二章 习题
1 填空题 (每小题5,共30分)
⑴设A 为含命题变项p、q、r 的重言式,则公式A Ú((p∧q) ®r)的类型为__________
⑵设B为含命题变项p、q、r 的矛盾式,则公式B∧((p«q) ®r)的类型为_________
⑶设p、q为命题变项,则有(Øp«q)的成真赋值为________
⑷设p、q为真命题,r、s为假命题,则复合命题(p«r) «(Øq®s)的真值为_________
⑸矛盾式的主析取范式为_________
⑹设公式A含命题变项p、q、r,又已知A的主合取范式为MO∧M2∧M3∧M5,则A的主析取范式为_________
2 用等值演算法求公式的主析取范式或主合取范式(每小题10,共30分)
⑴求公式p®((q∧r) ∧(pÚ(Øq∧Ør)))的主析取范式
⑵求公式Ø(Ø(p®q)) Ú(Øq®Øp)的主取合范式
⑶求公式((pÚq) ∧(p®q)) «(q®p)的主析取范式,再由主析取范式求出主合取范
3 用真值表求公式(p®q) «r的主析取范式 (10分)
4 将公式p®(q ®r)化成与之等值且仅含{Ø,∧}中的联结词的公式(10分)
5 用主析取范式判断Ø(p «q)与((pÚq) ∧Ø (p∧q))是否等值(10分)
6 用消解原理证明p∧(ØpÚq) ∧(Ør) ∧(ØpÚØqÚr)是矛盾式(10分)