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

《离散数学》试题及答案

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

= = (

((x)∨(x)∧

(y))∨(y))∨

(x) (x)

= (x =

P(x)∧yQ(y))∨(z)

xyz((P(x)∧Q(y))∨R(z))

9. 设R是集合A = {a, b, c, d}. R是A上的二元关系, R = {(), (), (), ()},

(1) 求出r(R), s(R), t(R); (2) 画出r(R), s(R), t(R)的关系图. 解:(1)

r(R)=R∪={(), (), (), (), (), (), (), ()},

s(R)=R∪R={(), (), (), () (), ()},

t(R)=R∪R∪R∪R={(), (), (), (), (), (), (), (), ()};

(2)关系图:

11. 通过求主析取范式判断下列命题公式是否等价:

abr(R)dcabs(R)dabt(R)2

3

4

-1

dcc (1) G = (P∧Q)∨(P∧Q∧R)

P∧R))

(2) H = (P∨(Q∧R))∧(Q∨(解: G=(P∧Q)∨(

=(P∧Q∧

P∧Q∧R)

R)∨(P∧Q∧R)∨(P∧Q∧R)

=m6∨m7∨m3 =

(3, 6, 7)

H = (P∨(Q∧R))∧(Q∨(P∧R)) =(P∧Q)∨(Q∧R))∨(=(P∧Q∧(

P∧Q∧R) =(P∧Q∧=m6∨m3∨m7

的主析取范式相同,所以G = H.

13. 设R和S是集合A={a, b, c, d}上的关系,其中R={(a,

R)∨(

P∧Q∧R)∨(P∧Q∧R)

P∧Q∧R)

P∧Q∧R)∨(P∧Q∧R)∨

R)∨(P∧Q∧R)∨(

a),(a, c),(b, c),(c, d)}, S={(a, b),(b, c),(b, d),(d, d)}.

(1) 试写出R和S的关系矩阵; (2) 计算R?S, R∪S, R, S?R. 解:

-1

-1

-1

(1)

(2)R?S={(a, b),(c, d)},

R∪S={(a, a),(a, b),(a, c),(b, c),(b, d),(c, d),(d, d)},

R-1={(a, a),(c, a),(c, b),(d, c)}, S-1?R-1={(b, a),(d, c)}.

四、证明题

1. 利用形式演绎法证明:{P→Q, R→S, P∨R}蕴涵Q∨S。 解:

(1) P∨R P (2)

R→P Q(1)

(3) P→Q P (4) (5)

R→Q Q(2)(3) Q→R Q(4)

(6) R→S P (7)

Q→S Q(5)(6)

(8) Q∨S Q(7)

2. 设为任意集合,证明:() = (B∪C). 解: () =

3. (本题10分)利用形式演绎法证明:{→D}蕴涵A→D。 解:

(1) A D(附加) (2)

A∨B P

A∨B, C→B, C

(3) B Q(1)(2) (4)

C→

B P

(5) B→C Q(4) (6) C Q(3)(5) (7) C→D P (8) D Q(6)(7) (9) A→D D(1)(8) 所以 {

A∨B,

C→

B, C→D}蕴涵A→D.

4. (本题10分)A, B为两个任意集合,求证: A-(A∩B) = (A∪B)-B . 解: 4. A-(A∩B)

= A∩~(A∩B) =A∩(∪)

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