习题参考解答.docx

  1. 1、本文档共23页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多

离散数学部分课后习题答案

离散数学部分课后习题答案

PAGE10

PAGE10

离散数学部分课后习题答案

离散数学部分课后习题答案

习题1.1

1、(3)P:银行利率降低

Q:股价没有上升

P∧Q

(5) P:他今天乘火车去了北京Q:他随旅行团去了九寨沟

P?Q

(7) P:不识庐山真面目Q:身在此山中

Q→P,或 ~P→~Q

(9) P:一个整数能被6整除Q:一个整数能被3整除

R:一个整数能被2整除

T:一个整数的各位数字之和能被3整除

P→Q∧R ,Q→T

2、(1)T

(2)F (3)F

(4)T

(5)F

(6)T

(7)T(F)

(8)悖论

习题 1.3

1、(3)

P?(Q?R)??P?(Q?R)?(?P?Q)?(?P?R)

?(P?Q)?(P?R)

(4)

(P?Q)?(Q?R)?(R?P)?((P?R)?Q)?(R?P)

?((P?R)?(R?P))?(Q?(R?P))

?(P?R)?(P?R)?(Q?R)?(Q?P)

?右

2、不,不, 能

习题 1.4

2、①

3、

4、

习题 1.5

1、(3)P?(R?(Q?P))?~P?(R?(~Q?P))

?(~P?R)?(T)?~P?R?(~P?R?(~Q?Q))

?(~P?R?~Q)?(~P?R?Q)

主合取范式

P?(R?(Q?P)

??P?(R?(?Q?P))

??P?(R??Q)?(R?P))

?(?P?(?Q?Q)?(?R?R)?(R??Q?(?P?P))?(R?P?(?Q?Q))

?(?P??Q??R)?(?P?Q??R)?(?P??Q?R)?(?P??Q?R)?

(R??Q??P)?(R??Q?P)?(R?P??Q)?(R?P?Q)

?(?P??Q??R)?(?P?Q??R)?(?P??Q?R)?

(R??Q??P)?(R??Q?P)?(R?P?Q)

————主析取范式

2、(2) (P?Q)?(P?R)?(~P?Q)?(~P?R)

?(~P?Q?(~R?R))?(~P?R?(~Q?Q))

?(~P?Q?~R)?(~P?Q?R)?(~P?R?~Q)

P?(Q?R)?~P?(Q?R)

?(~P?Q)?(~P?R)

?(~P?Q?~R)?(~P?Q?R)?(~P?R?~Q)

? 等价

3、解:根据给定的条件有下述命题公式:

(A→(C?D))∧~(B∧C)∧~(C∧D)

?(~A∨(C∧~D)∨(~C∧D))∧(~B∨~C)∧(~C∨~D)

?((~A∧~B)∨(C∧~D∧~B)∨(~C∧D∧~B)∨

(~A∧~C)∨(C∧~D∧~C)∨(~C∧D∧~C))∧(~C∨~D)

?((~A∧~B)∨(C∧~D∧~B)∨(~C∧D∧~B)∨

(~A∧~C)∨(~C∧D∧~C) ∧(~C∨~D)

?(~A∧~B∧~C)∨(C∧~D∧~B∧~C)∨(~C∧D∧~B∧~C)∨

(~A∧~C∧~C)∨(~C∧D∧~C∧~C)∨(~A∧~B∧~D)∨

(C∧~D∧~B∧~D)∨(~C∧D∧~B∧~D)∨(~A∧~C∧~D)∨

(~C∧D∧~C∧~D)(由题意和矛盾律可得下式)

(~C∧D∧~B)∨(~A∧~C)∨(~C∧D)∨(C∧~D∧~B)

?(~C∧D∧~B∧A)∨(~C∧D∧~B∧~A)∨(~A∧~C∧B)∨

(~A∧~C∧~B)∨(~C∧D∧A)∨(~C∧D∧~A)∨

(C∧~D∧~B∧A)∨(C∧~D∧~B∧~A)

?(~C∧D∧~B∧A)∨(~A∧~C∧B∧D)∨(~A∧~C∧B∧~D)∨

(~A∧~C∧~B∧D)∨(~A∧~C∧~B∧~D)∨

(~C∧D∧A∧B)∨(~C∧D∧A∧~B)∨(~C∧D∧~A∧B)∨

(~C∧D∧~A∧~B)∨(C∧~D∧~B∧A)∨(C∧~D∧~B∧~A)

(由题意可得下式)

(~C∧D∧~B∧A)∨(~A∧~C∧B∧D)∨(~C∧D∧A∧

文档评论(0)

tianya189 + 关注
官方认证
内容提供者

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

认证主体阳新县融易互联网技术工作室
IP属地上海
统一社会信用代码/组织机构代码
92420222MA4ELHM75D

1亿VIP精品文档

相关文档