离散数学习题答案Word文档格式.docx

上传人:b****1 文档编号:14101008 上传时间:2022-10-18 格式:DOCX 页数:37 大小:83.12KB
下载 相关 举报
离散数学习题答案Word文档格式.docx_第1页
第1页 / 共37页
离散数学习题答案Word文档格式.docx_第2页
第2页 / 共37页
离散数学习题答案Word文档格式.docx_第3页
第3页 / 共37页
离散数学习题答案Word文档格式.docx_第4页
第4页 / 共37页
离散数学习题答案Word文档格式.docx_第5页
第5页 / 共37页
点击查看更多>>
下载资源
资源描述

离散数学习题答案Word文档格式.docx

《离散数学习题答案Word文档格式.docx》由会员分享,可在线阅读,更多相关《离散数学习题答案Word文档格式.docx(37页珍藏版)》请在冰豆网上搜索。

离散数学习题答案Word文档格式.docx

S–一个整数各位数字之和能被3整除

翻译为:

(P→(Q∧R))∧(R→S)

2、判别下面各语句是否命题,如果是命题,说出它的真值

(1)BASIC语言是最完美的程序设计语言---Y,T/F

(2)这件事大概是小王干的---N

(3)x2=64---N

(4)可导的实函数都是连续函数---Y,T/F

(5)我们要发扬连续作战的作风,再接再厉,争取更大的胜利---N

(6)客观规律是不以人们意志为转移的---Y,T

(7)到2020年,中国的国民生产总值将赶上和超过美国---Y,N/A

(8)凡事都有例外---Y,F

3、构造下列公式的真值表,并由此判别哪些公式是永真式、矛盾式或可满足式

(1)(P∨(~P∧Q))→Q

P

Q

~P∧Q

P∨(~P∧Q)

(P∨(~P∧Q))→Q

可满足式

1

(2)~(4)表略:

(2)可满足式、(3)永真式、(4)可满足式

4、利用真值表方法验证下列各式为永真式

(1)~(8)略

5、证明下列各等价式

(3)P→(Q∨R)(P→Q)∨(P→R)

证明:

左式~P∨Q∨R

⇔~P∨Q∨~P∨R

⇔(~P∨Q)∨(~P∨R)

⇔(P→Q)∨(P→R)右式

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

左式((P∨R)∧Q)∨(R∧P)

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

(P∨Q)∧(R∨Q)∧(R∨P)右式

6、如果P∨QQ∨R,能否断定PR?

如果P∧QQ∧R,能否断定PR?

如果~P~R,能否断定PR?

(1)如果P∨QQ∨R,不能判断PR,因为如果Q=P∨R,那么P∨QP∨P∨RQ∨R,但P可以不等价于R.

(2)如果P∧QQ∧R,不能判断PR,因为如果Q=P∧R,那么P∧QP∧P∧RQ∧R,但P可以不等价于R.

(3)如果~P~R,那么有PR,因为~P~R,则~P<

->

~R为永真式,及有P<

R为永真式,所以PR.

8、把下列各式用↑等价表示出来

(1)(P∧Q)∨~P

原式((P↑Q)↑(P↑Q))∨(P↑P)

(((P↑Q)↑(P↑Q))↑((P↑Q)↑(P↑Q)))↑((P↑P)↑(P↑P))

9、证明:

{~→}是最小功能完备集合

证明:

因为{~,∨}是最小功能完备集合,所以,如果{~→}能表示出∨,则其是功能完备集合。

由于P∨Q(~P)→Q,所以{~→}是功能完备集合。

因为~→不能相互表示,所以{~→}是最小功能完备集合;

同理可证:

{非,条件非}也能将或表示出来:

P∨Q~(~P!

→Q)

8、分别利用真值表法和等价变换法求下列公式的主合取范式及主析取范式:

(3)P→(R∧(Q→P))

真值表法

R

Q→P

R∧(Q→P)

P→(R∧(Q→P))

所以:

主合取范式为=(~P∨Q∨R)∧(~P∨~Q∨R)=M4∧M6

主析取范式为=(~P∧~Q∧~R)∨(~P∧~Q∧R)∨(~P∧Q∧~R)∨(~P∧Q∧R)∨(P∧~Q∧R)∨(P∧Q∧R)=m0∨m1∨m2∨m3∨m5∨m7

等价变换法(略)

(4)(P→(Q∧R))∧(~P→(~Q∧~R))

Q∧R

~Q∧~R

P→(Q∧R)

~P→(~Q∧~R)

(P→(Q∧R))∧(~P→(~Q∧~R))

主合取范式为=(P∨Q∨~R)∧(P∨~Q∨R)∧(P∨~Q∨~R)∧(~P∨Q∨R)∧(~P∨Q∨~R)∧(~P∨~Q∨R)=M1∧M2∧M3∧M4∧M5∧M6

主析取范式为=(~P∧~Q∧~R)∨(P∧Q∧R)=m0∨m7

14、从A,B,C,D4个人中派2人出差,要求满足下列条件:

如果A去,则必须在C或D中选一人同去;

B和C不能同时去;

C和D不能同时去。

用构造范式的方法决定选派方案。

由题设A:

A去,B:

B去,C:

C去,D:

D去则满足条件的选派应满足如下范式:

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

构造和以上范式等价的主析取范式

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

共有八个极小项,但根据题意,需派两人出差,所以,只有其中三项满足要求:

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

即有三种方案:

A和C去或者A和D去或者B和D去。

15、证明下列蕴含试:

(1)P→Q=>

P→(P∧Q)

P→Q~P∨QT∧(~P∨Q)(~P∨P)∧(~P∨Q)~P∨(P∧Q)

P→(P∧Q)

所以,这是个等价式,因此也是个蕴含式

(2)(P→Q)→Q=>

(P∨Q)

(P→Q)→Q~(~P∨Q)∨Q(P∧~Q)∨Q(P∨Q)∧(Q∨~Q)(P∨Q)∧T(P∨Q)

(3)P∧~P∧R=>

S

P∧~P∧RF=>

S(F可蕴含任何命题公式)

(4)P=>

Q∨R∨~R

P=>

TQ∨R∨~R(任何公式可蕴含永真式)

18、一个有钱人生前留下了一笔珍宝,藏在一个隐秘处。

在他留下的遗嘱中指出寻找珍宝的线索如下:

(1)如果藏宝的房子靠近池塘,那么珍宝不会藏在东厢房。

(2)如果房子的前院栽有大柏树,那么珍宝就藏在东厢房。

(3)藏宝房子靠近池塘。

(4)要么前院栽有大柏树,要么珍宝埋在花园正中地下。

(5)如果后院栽有香樟树,珍宝藏在附近。

请利用蕴含关系找出藏宝处

根据给定的条件有下述命题:

P:

珍宝藏在东厢房

Q:

藏宝的房子靠近池塘

R:

房子的前院栽有大柏树

S:

珍宝藏在花园正中地下

T:

后院栽有香樟树

M:

珍宝藏在附近

根据题意,得出:

(Q→~P)∧(R→P)∧Q∧(R∨S)∧(T→M)?

(Q→~P)∧(R→P)∧Q∧(R∨S)∧(T→M)

~P∧(R→P)∧(R∨S)∧(T→M)

~R∧(R∨S)∧(T→M)

S∧(T→M)

S即珍宝藏在花园正中地下

20、演绎证明下面各蕴含式:

(4)(R→Q)∧(R→S),(Q→E)∧(S→B),~(E∧B),(P→R)~P

运用反证方法,将结论的非纳入前提,证明步骤如下

[1]Pp(附加前提)

[2]P→Rp

[3]RT[1,2]I

[4](R→Q)∧(R→S)p

[5]Q∧ST[3,4]I

[6](Q→E)∧(S→B)p

[7]E∧BT[5,6]I

[8]~(E∧B)p

[9]F(矛盾式)T[7,8]E

(5)P→(Q→R),Q→(R→S)P→(Q→S)

运用cp法,将结论条件式的前件作为前提,证明步骤如下

[2]P→(Q→R)p

[3]Q→RT[1,2]I

[4]Q→(R→S)p

[5]R→(Q→S)T[4]E

[6]Q→ST[3,5]I

[7]P→(Q→S)CP[1,6]

21、把下列句子演绎成逻辑形式,并给出证明

(2)某公司发生了一起盗窃案,经仔细侦察,掌握了如下一些事实:

●被盗现场没有留下任何痕迹

●失盗时,小花或则小英正在卡拉ok厅

●如果失窃时小胖正在附近,他就会习惯性地破门而入偷走东西后扬长而去

●如果失盗时小花正在卡拉ok厅唱歌,那么金刚是最大的嫌疑者

●如果失盗时小胖不在附近,那么他的女友小英会和他一起外出旅游

●如果失盗时小英正在卡拉ok厅唱歌,那么瘦子是最大的嫌疑者

根据以上事实,请通过演绎推理找出偷窃者

现场无任何痕迹

失窃时,小花在OK厅

失窃时,小英在OK厅

失窃时,小胖在附近

金刚是偷窃者

瘦子是偷窃者

则根据案情有如下命题公式:

{P,Q∨R,S→~P,Q→T,~S→~R,R→M}

1PP

2S→~PP

3~ST①②I

4~S→~RP

5~RT③④I

6Q∨RP

7QT⑤⑥I

8Q→TP

9TT⑦⑧I

即金刚是偷窃者

23、利用消解法证明下列各蕴含式:

(3)P→(Q→R),Q→(R→S)P→(Q→S)

P→(Q→R)~P∨~Q∨R

Q→(R→S)~Q∨~R∨S

展开阅读全文
相关资源
猜你喜欢
相关搜索

当前位置:首页 > 解决方案 > 解决方案

copyright@ 2008-2022 冰豆网网站版权所有

经营许可证编号:鄂ICP备2022015515号-1