- 1、本文档共9页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离散数学课后答案
习题一
6.将下列命题符号化。
(1)小丽只能从框里那一个苹果或一个梨.
(2)这学期,刘晓月只能选学英语或日语中的一门外语课.
答:
(1)(p Λ?q )ν(?pΛq) 其中p:小丽拿一个苹果,q:小丽拿一个梨
(2)(p Λ?q )ν(?pΛq) 其中p:刘晓月选学英语,q:刘晓月选学日语
14. 将下列命题符号化.
(1) 刘晓月跑得快, 跳得高.
(2)老王是山东人或河北人.
(3)因为天气冷, 所以我穿了羽绒服.
(4)王欢与李乐组成一个小组.
(5)李辛与李末是兄弟.
(6)王强与刘威都学过法语.
(7)他一面吃饭, 一面听音乐.
(8)如果天下大雨, 他就乘班车上班.
(9)只有天下大雨, 他才乘班车上班.
(10)除非天下大雨, 他才乘班车上班.
(11)下雪路滑, 他迟到了.
(12)2与4都是素数, 这是不对的.
(13)“2或4是素数, 这是不对的”是不对的.
答:
(1)p∧q, 其中, p: 刘晓月跑得快, q: 刘晓月跳得高.
(2)p∨q, 其中, p: 老王是山东人, q: 老王是河北人.
(3)p→q, 其中, p: 天气冷, q: 我穿了羽绒服.
(4)p, 其中, p: 王欢与李乐组成一个小组, 是简单命题.
(5)p, 其中, p: 李辛与李末是兄弟.
(6)p∧q, 其中, p: 王强学过法语, q: 刘威学过法语.
(7)p∧q, 其中, p: 他吃饭, q: 他听音乐.
(8)p→q, 其中, p: 天下大雨, q: 他乘班车上班.
(9)p→q, 其中, p: 他乘班车上班, q: 天下大雨.
(10)p→q, 其中, p: 他乘班车上班, q: 天下大雨.
(11)p→q, 其中, p: 下雪路滑, q: 他迟到了.
(12) ? (p∧q)或?p∨?q, 其中, p: 2是素数, q: 4是素数.
(13) ? ? (p∨q)或p∨q, 其中, p: 2是素数, q: 4是素数.
16.
19. 用真值表判断下列公式的类型:
(1)p→ (p∨q∨r) (2)(p→?q) →?q
(3) ? (q→r) ∧r
(4)(p→q) → (?q→?p)
(5)(p∧r) ? ( ?p∧?q)
(6)((p→q) ∧ (q→r)) → (p→r)
(7)(p→q) ? (r?s)
答:
(1), (4), (6)为重言式.
(3)为矛盾式.
(2), (5), (7)为可满足式
习题二
9.用真值表求下面公式的主析取范式.
(1) (pνq)ν(?pΛr)
(2) (p→q) → (?p?q)
答:
(1)
(2)p q (p → q) → (?p ? q)
0 1 0 0 1
1 1 1 1 0
0 0 1 1 1
1 1 1 0 0 0
从真值表可见成真赋值为01, 10. 于是(p → q) →(?p ? q) ? m1 ∨ m2
11.用真值表求下面公式的主析取范式和主合取范式;
(1) (pνq)Λr
(2) p→(pνqνr)
(3) ?(q→?p)Λ?p
15. 用主析取范式判断下列公式是否等值:
(1) (p→q) →r与q→ (p→r)
(2) ?(pΛq)与(?pνq)
答:
(1)(p→q) →r ? ?(?p∨q) ∨ r ? ?(?p∨q) ∨ r ? p?∧q ∨ r ? p?∧q∧(r?∨r) ∨ (p?∨p) ∧ (q?∨q)∧r ? p?∧q∧r ∨ p?∧q∧?r ∨ p∧q∧r ∨ p∧?q∧r ∨ ?p∧q∧r ∨ ?p∧?q∧r = m101 ∨ m100 ∨ m111 ∨ m101 ∨ m011 ∨ m001 ? m1 ∨ m3 ∨ m4 ∨ m5 ∨ m7 = ∑(1, 3, 4, 5, 7). 而 q→(p→r) ? ?q ∨ (?p∨r) ? ?q ∨ ?p ∨r ? (?p∨p)?∧q∧(?r∨r) ∨ ?p∧(?q∨q)∧(?r∨r) ∨ (?p∨p)∧(?q∨q)∧r ? (?p?∧q∧?r)∨(?p?∧q∧r)∨(p?∧q∧?r)∨(p?∧q∧r) ∨(?p∧?q∧?r)∨(?p∧?q∧r)∨(?p∧q∧?r)∨(?p∧q∧r) ∨(?p∧?q∧r)∨(?p∧q∧r)∨(p∧?q∧r)∨(p∧q∧r) = m0 ∨ m1 ∨ m4 ∨ m5 ∨ m0 ∨ m1 ∨ m2 ∨ m3 ∨ m1 ∨ m3 ∨ m5 ∨ m7 ? m0 ∨ m1
文档评论(0)