- 1、本文档共29页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离散数学课后答案(第1,2,4章)武汉大学出版社汇
习题1.1
1、(1)否
(2)否
(3)是,真值为0
(4)否
(5)是,真值为1
2、(1)P:天下雨 Q:我去教室 ┐P → Q
(2)P:你去教室 Q:我去图书馆 P → Q
(3)P,Q同(2) Q → P
(4)P:2是质数 Q:2是偶数 P∧Q
3、(1)0
(2)0
(3)1
4、(1)如果明天是晴天,那么我去教室或图书馆。
(2)如果我去教室,那么明天不是晴天,我也不去图书馆。
(3)明天是晴天,并且我不去教室,当且仅当我去图书馆。
习题1.2
1、(1)是
(2)是
(3)否
(4)是
(5)是
(6)否
2、(1)(P → Q) →R,P → Q,R,P,Q
(2)(┐P∨Q) ∨(R∧P),┐P ∨ Q,R∧P,┐P,Q,R,P
(3)((P → Q) ∧ (Q → P)) ∨ ┐(P → Q)),(P → Q) ∧(Q → P),┐(P → Q),P → Q,(Q → P),P → Q,P,Q,Q,P,P,Q
3、(1)((P → Q) → (Q → P)) → (P → Q)
(2)((P → Q) ∨ ((P → Q) → R))→ ((P → Q) ∧ ((P → Q) → R))
(3)(Q → P∧┐P) → (P∧┐P → Q)
4、(P → Q) ∨ ((P∧Q) ∨ (┐P∧┐Q)) ∧ (┐P∨Q)
习题1.3
1、(1)I(P∨(Q∧R)) = I(P)∨(I(Q)∧I(R)) = 1∨(1∧0) = 1
(2)I((P∧Q∧R)∨(┐(P∨Q)∧┐(R∨S))) = (1∧1∧0)∨(┐(1∨1)∧┐(0∨1)) = 0∨(0∧0) = 0
(3)I((P←→R)∧(┐Q→S)) = (1←→0)∧(┐1→1) = 0∧1 = 0
(4)I((P∨(Q→R∧┐P))←→(Q∨┐S)) = (1∨(1→(0∧┐1)))←→(1∨┐1) = 1←→1 = 1
(5)I(┐(P∧Q)∨┐R∨((Q←→┐P)→R∨┐S)) = ┐(1∧1)∨┐0∨((1←→┐1)→(0∨┐1)) = 0∨1∨1 = 1
2、(1)
P Q P→Q Q∧(P→Q) Q∧(P→Q)→P
0 0 1 0 1
0 1 1 1 0
1 0 0 0 1
1 1 1 1 1
(2)
P Q R Q∧R ┐(P∨(Q∧R)) P∨Q P∨R (P∨Q)∧(P∨R) 原式
0 0 0 0 1 0 0 0 0
0 0 1 0 1 0 1 0 0
0 1 0 0 1 1 0 0 0
0 1 1 1 0 1 1 1 0
1 0 0 0 0 1 1 1 0
1 0 1 0 0 1 1 1 0
1 1 0 0 0 1 1 1 0
1 1 1 1 0 1 1 1 0
(3)
P Q R P∨Q Q∧P P∨Q→Q∧P P∧┐R 原式
0 0 0 0 0 1 0 0
0 0 1 0 0 1 0 0
0 1 0 1 0 0 0 1
0 1 1 1 0 0 0 1
1 0 0 1 0 0 1 1
1 0 1 1 0 0 0 1
1 1 0 1 1 1 1 1
1 1 1 1 1 1 0 0
3、(1)原式 = F→Q = T 原式为永真式
(2)原式 = ┐T∨(┐(┐P∨Q)∨(┐┐Q∨┐P)) = (P∧┐Q)∨(Q∨┐P)
= (P∧┐Q)∨┐(P∧┐Q) = T 原式为永真式
(3)原式 = ┐(P∧Q) ←→ ┐(P∧Q) = T 原式为永真式
(4)原式 = P∧(Q∨R) ←→ P∧(Q∨R) = T 原式为永真式
(5)原式 = ┐(P∨┐Q)∨Q = (┐P∧Q)∨Q = Q 原式为可满足式
(6)原式 = ┐(P∧Q)∨P = ┐P∨┐Q∨P = T∨┐Q = T 原式为永真式
(7)原式 = (┐P∨P∨Q)∧┐P = (T∨Q)∧┐P
= T∧┐P = ┐P 原式为可满足式
(8)原式 = ┐((P∨Q) ∧(┐Q∨R))∨(┐P∨R) = (P∧┐Q)∨(Q∧┐R)∨(┐P∨R)
= ((P∧┐Q)∨┐P)∨((Q∧┐R)∨R)
=(( P∨┐P)∧(┐Q∨┐P))∨(( Q∨R)∧(┐R∨R))
= (┐Q∧┐P)∨( Q∨R) = T 原式为永真式
4、(1)左 = ┐P∨┐Q∨P = ┐┐P∨(┐P∨┐Q) = 右
(2)左 = ┐(┐P∨Q) = 右
(3)左 = ┐(P∧Q)∨P = ┐P∨┐Q∨P = T∨┐Q = 右
(4)左 = ┐(P→Q)∨┐(Q→P) = (P∧┐Q)∨(Q∧┐P) = 中
= ((P∧┐Q)∨Q)∧((P∧┐Q)∨┐P)
= (P∨Q)∧(┐Q∨Q)∧(P∨┐P)∧(┐Q∨┐P)
= (P∨Q)∧┐(
您可能关注的文档
- 硕士学位论文-衡重式挡土墙受力及变形特性离心模型实验研究汇.doc
- 硕士学位论文-雅克 拉康理论的文学阐释汇.doc
- 硕士学位论文-青海油田高中学生心理健康和人格特征的相关研究汇.doc
- 硕士学位论文-超超临界锅炉垂直管屏水冷壁流动特性研究汇.doc
- 硕士学位论文-高职高数课紧贴专业需要的必要性与教学探索汇.doc
- 硕士学位论文开题报告-基于导频的OFDM信道估计研究汇.doc
- 硕士学位论文开题报告-隋代刺史及其佐僚研究汇.doc
- 硕士研究生毕业论文-我国养老保险制度的收入再分配效应及对退休决策的影响汇.doc
- 硕士研究生开题报告-产品趣味化设计在餐具中的应用与研究汇.doc
- 硕士论文-2400吨级江海直达货船优化设计研究汇.doc
文档评论(0)