02324 离散数学 复习资料 大题汇总+公式汇总.docxVIP

02324 离散数学 复习资料 大题汇总+公式汇总.docx

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 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)

暗伤 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档