第一范文网 - 专业文章范例文档资料分享平台

《离散数学(第三版)》方世昌 的期末复习知识点总结复习进程

来源:用户分享 时间:2025/5/17 8:26:22 本文由loading 分享 下载这篇文档手机版
说明:文章内容仅供预览,部分内容可能不全,需要完整文档或者需要复制内容,请下载word后使用。下载word有问题请添加微信号:xxxxxxx或QQ:xxxxxx 处理(尽可能给您提供完整文档),感谢您的支持与谅解。

(a) (b)

(c) (d) (e)

连接5个城市的造价最低的铁路网总造价为24(百万元)。

(四)证明题 1、

证明:

(?P?(?Q?R))?(Q?R)?(P?R)?(?P?(?Q?R))?((Q?P)?R)?((?P??Q)?R)?((Q?P)?R) ?((?P??Q)?(Q?P))?R?(?(P?Q)?(P?Q))?R?1?R?R2、证明:

(1)S?T 规则P (2)?T 规则P

(3)?S 规则Q,根据(1)、(2)和基本蕴涵式(12)

(4)?S?R 规则P

(5)R 规则Q,根据(3)、(4)和基本蕴涵式(11) (6)P??R 规则P

(7)?P 规则Q,根据(5)、(6)和基本蕴涵式(12) (8)P?Q 规则P

(9)Q 规则Q,根据(7)、(8)和基本蕴涵式(10) 3、证明:

(A?B)?C=(A?~B)?~C = A?(~B?~C) = A?~(B?C) = A?(B?C) 4、证明:

?x?y(F(x)?G(y))=?x(F(x)??y G(y)) = ?x(?F(x)??y G(y)) = ?x(?F(x))??y G(y) = ??xF(x)??y G(y) = ?xF(x)??yG(y)

《离散数学(第三版)》方世昌 的期末复习知识点总结复习进程.doc 将本文的Word文档下载到电脑,方便复制、编辑、收藏和打印
本文链接:https://www.diyifanwen.net/c97vmi7rjlu0a6ri16ozy38gut0xt46013ss_9.html(转载请注明文章来源)
热门推荐
Copyright © 2012-2023 第一范文网 版权所有 免责声明 | 联系我们
声明 :本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。
客服QQ:xxxxxx 邮箱:xxxxxx@qq.com
渝ICP备2023013149号
Top