离散数学第二章练习题

  • 格式: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分)