- 1、本文档共15页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
离散数学第二版课后答案
【篇一:离散数学答案屈婉玲版第二版高等教育出版
社课后答案】
第二版高等教育出版社课后答案
第一章部分课后习题参考答案
16设p、q的真值为0;r、s的真值为1,求下列各命题公式的真
值。
(1)p∨(q∧r)?0∨(0∧1)?0
(2)(p?r)∧(﹁q∨s)?(0?1)∧(1∨1)?0∧1?0.
(3)(?p∧?q∧r)?(p∧q∧﹁r)?(1∧1∧1)?(0∧0∧0)?0
(4)(?r∧s)→(p∧?q)?(0∧1)→(1∧0)?0→0?1
17.判断下面一段论述是否为真:“?是无理数。并且,如果3是无
理数,则2也是无理数。另外6能被2整除,6才能被4整除。”
答:p:?是无理数1
q:3是无理数0
r:2是无理数1
s:6能被2整除1
t:6能被4整除0
命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述
为真。
19.用真值表判断下列公式的类型:
(4)(p→q)→(?q→?p)
(5)(p∧r)?(?p∧?q)
(6)((p→q)∧(q→r))→(p→r)
答:(4)
pqp→q?q?p?q→?p(p→q)→(?q→?p)0011111011011
11001001111001所以公式类型为永真式1
(5)公式类型为可满足式(方法如上例)
(6)公式类型为永真式(方法如上例)
第二章部分课后习题参考答案
3.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再
用真值表法求出成真赋值.
(1)?(p∧q→q)
(2)(p→(p∨q))∨(p→r)
(3)(p∨q)→(p∧r)
答:(2)(p→(p∨q))
∨(p→r)?(?p∨(p∨q))∨(?p∨r)??p∨p∨q∨r?1所以公式类型为
永真式
(3)pqrp∨qp∧r(p∨q)→(p∧r)
000001
001001
010100
011100
100100
101111
110100
111111
所以公式类型为可满足式
4.用等值演算法证明下面等值式:
(2)(p→q)∧(p→r)?(p→(q∧r))
(4)(p∧?q)∨(?p∧q)?(p∨q)∧?(p∧q)
证明(2)(p→q)∧(p→r)
?(?p∨q)∧(?p∨r)
??p∨(q∧r))
?p→(q∧r)
(4)(p∧?q)∨(?p∧q)?(p∨(?p∧q))∧(?q∨(?p∧q)
?(p∨?p)∧(p∨q)∧(?q∨?p)∧(?q∨q)
?1∧(p∨q)∧?(p∧q)∧1
?(p∨q)∧?(p∧q)
5.求下列公式的主析取范式与主合取范式,并求成真赋值
(1)(?p→q)→(?q∨p)
(2)?(p→q)∧q∧r
(3)(p∨(q∧r))→(p∨q∨r)
解:
(1)主析取范式
(?p→q)→(?q?p)
??(p?q)?(?q?p)
?(?p??q)?(?q?p)
?(?p??q)?(?q?p)?(?q??p)?(p?q)?(p??q)
?(?p??q)?(p??q)?(p?q)
?m0?m2?m3
?∑(0,2,3)
主合取范式:
(?p→q)→(?q?p)
??(p?q)?(?q?p)
?(?p??q)?(?q?p)
?(?p?(?q?p))?(?q?(?q?p))
?1?(p??q)
?(p??q)?m1
?∏(1)
(2)主合取范式为:
?(p→q)?q?r??(?p?q)?q?r
?(p??q)?q?r?0
所以该式为矛盾
您可能关注的文档
- 移动加权平均法12673.pdf
- 种植技术氯化钾和硫酸钾使用方法和注意事项.pdf
- 福建省泉州市南安市2022-2023学年八年级下学期期中质量检测英语试题(含听力)(解析版).pdf
- 社区卫生服务提升工程实施方案.pdf
- 社会学视角下的性别意识形态和人权问题.pdf
- 硬汉国王驾战机空袭“伊黎”.pdf
- 工法培训课件.pptx
- 主体工程防水质量责任与落实.docx
- HDPE管道施工方案.docx
- 技术质量培训习题.docx
- 计及电动汽车移动储能动态电价的微电网优化调度研究及解决方案.pdf
- 浅谈电动汽车充电桩绝缘智能化自检装置的设计与应用 .pdf
- 浅谈电动汽车公共充电桩布局方案评价方法.pdf
- 浅谈基于弹性响应的电动汽车快充电价定价策略 汽车充电桩有序充电.pdf
- 浅谈光储充一体化社区的有序充电策略及解决方案.pdf
- 晚期肾透明细胞癌系统性治疗中国专家共识(2024版).pptx
- 中国膀胱癌保膀胱治疗多学科诊治协作共识(2022版).pptx
- 成人心血管外科手术体外循环患者血液管理指南.pptx
- 下尿路修复重建移植物应用规范中国专家共识.pptx
- 中国儿童急性非静脉曲张性上消化道出血诊治指南(2024).pptx
文档评论(0)