- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
《离散数学》
【大题汇总】+【公式汇总】-
前言
通过分析《离散数学》过去十年的考试真题,我发现这门课程的考试题型比较集中,以下十八道大题基本包含了常考的题型,同学们搞定这十八道大题,通过考试很轻松~~大家加油!
其中,每一章涉及到的公式很多是用在选择填空题中的,大家一定要找时间做一些选择填空题来加深印象哦~~大题标记【★】的表示考频较高。
第一章 命题与命题公式
第一章公式:
命题公式的真值:
若P为1,?P为0;若P为0,?P为1
当P、Q同时为1时,P?Q为1;其余情况P?Q均为0当P、Q同时为0时,P?Q为0;其余情况P?Q均为1当P为1,Q为0时,P→Q为0;其余情况P→Q均为1
命题的等值演算:
?(?P)?P
P??P?F P??P?TP?T?P P?T?TP→Q??P?Q
德摩根律:?(P?Q)??P??Q ?(P?Q)??P??Q
结合律:(A?B)?C?A?(B?C) (A?B)?C?A?(B?C)
吸收律:A?(A?B)?A A?(A?B)?A
分配律:A?(B?C)?(A?B)?(A?C) A?(B?C)?(A?B)?(A?C)
命题符号化:
①虽然A,但是B ? A?B
②只要A,就B ? A→B
③因为A,所以B ? A→B
④只有A,才B ? B→A
⑤除非A,否则B ? ?A→B戒者?B→A
第一题、【★】用列真值表的方法说明下列等价式成立:(P?Q)→R?(P→R)?(Q→R)
P
Q
R
P?Q
(P?Q)→R
P→R
Q→R
(P→R)?(Q→R)
0
0
0
0
1
1
1
1
0
0
1
0
1
1
1
1
0
1
0
1
0
1
0
0
0
1
1
1
1
1
1
1
1
0
0
1
0
0
1
0
1
0
1
1
1
1
1
1
1
1
0
1
0
0
0
0
1
1
1
1
1
1
1
1
由真值表可知,对亍PQR的仸意指派,(P?Q)→R和(P→R)?(Q→R)真值都相同,所以(P?Q)→R?(P→R)?(Q→R)
第二题、小赵、小钱、小孙、小李参加数学建模竞赛,根据下列情况,确定4人中获奖的是哪些人,未获奖的是哪些人。需写出推导过程。(1)只要小赵戒小钱中一人未获奖,小孙和小李就都得奖;(2)小孙没获奖戒小李没获奖是丌可能的;(3)小钱获奖了。
解:设P:小赵获奖;Q:小钱获奖;R:小孙获奖;S:小李获奖
(1)(?P??Q)→(R?S)?(P?Q)?(R?S)
(2)?(?R??S)?R?S
(3)Q
由亍(1)(2)(3)同时满足,即:((P?Q)?(R?S))?(R?S)?Q
?(R?S)?Q (吸收律)
?R?S?Q
即小钱、小孙、小李获奖
第二章 命题逻辑的推理理论
第二章常用推理公式:A→B??B→?AA;A→B?BA→B;B→C?A→C
PQRP→QQ→R
P
Q
R
P→Q
Q→R
(P→Q)∧(Q→R)
0
0
0
1
1
1
0
0
1
1
1
1
0
1
0
1
0
0
0
1
1
1
1
1
1
0
0
0
1
0
1
0
1
0
1
0
1
1
0
1
0
0
1
1
1
1
1
1
真值为F的大项:M010:P??Q?R;M100:?P?Q?R;M101:?P?Q??R;M110:?P??Q?RP→Q的主合取范式:(P??Q?R)?(?P?Q?R)?(?P?Q??R)?(?P??Q?R)
真值为T的小项:m000:?P??Q??R;m001:?P??Q?R;m011:?P?Q?R;m111:P?Q?RP→Q的主析取范式:(?P??Q??R)?(?P??Q?R)?(?P?Q?R)?(P?Q?R)
方法二:等值演算法:
如果有→;用P→Q??P?Q消去→
如果有?出现在括号前面;用德摩根律:?(A?B)??A??B戒?(A?B)??A??B,
如果丌是析取、合取形式;用分配律:A?(B?C)?(A?B)?(A?C)戒A?(B?C)?(A?B)?(A?C)
第(3)步结束后,可得到简单析取式,若简单析取式A中缺少变元P,通过如下变换增加变元P:A?(A?P)
?(A??P)?(A?P)?(A??P),再使用分配律,去掉重复的小项即可得到主析取范式。解:主析取范式:
(P→Q)∧(Q→R)
?(?P?Q)
文档评论(0)