好文档 - 专业文书写作范文服务资料分享网站

离散数学课后习题答案 - (左孝凌版) 

天下 分享 时间: 加入收藏 我要投稿 点赞
10

c) ┐(P∨┐Q)∧(S→T) ?(┐P∧Q)∧(┐S∨T) ?(┐P∧Q∧┐S)∨(┐P∧Q∧T) d) (P→Q)→R ?┐(┐P∨Q)∨R ?(P∧┐Q)∨R ?(P∨R)∧(┐Q∨R) e) ┐(P∧Q)∧(P∨Q) ?(┐P∨┐Q)∧(P∨Q)

?(┐P∧P)∨(┐P∧Q)∨(┐Q∧P)∨(┐Q∧Q)

? (┐P∧Q)∨(┐Q∧P) (3) 解:

a) P∨(┐P∧Q∧R)

?(P∨┐P)∧(P∨Q)∧(P∨R) ?(P∨Q)∧(P∨R)

b) ┐(P→Q)∨(P∨Q) ?┐(┐P∨Q)∨(P∨Q) ?(P∧┐Q)∨(P∨Q) ?(P∨P∨Q)∧(┐Q∨P∨Q) c) ┐(P→Q) ?┐(┐P∨Q) ? P∧┐Q

?(P∨Q)∧(P∨┐Q)∧(┐Q∨┐P) d) (P→Q)→R ?┐(┐P∨Q)∨R ? (P∧┐Q)∨R ? (P∨R)∧(┐Q∨R) e) (┐P∧Q)∨(P∧┐Q)

?(┐P∨P)∧(┐P∨┐Q)∧(Q∨P)∧(Q∨┐Q)

?(┐P∨┐Q)∧(Q∨P)

(4) 解:

a) (┐P∨┐Q)→(P?┐Q) ?┐(┐P∨┐Q) ∨(P?┐Q) ? (P∧Q) ∨(P∧┐Q)∨(┐P∧Q) ??1,2,3 ?P∨Q=?0 b) Q∧(P∨┐Q) ? (P∧Q)∨(Q∧┐Q) ? P∧Q =?3 ??0,1,2

?(P∨Q)∧(P∨┐Q) ∧(┐P∨Q) c) P∨(┐P→(Q∨(┐Q→R)) ?P∨(P∨(Q∨(Q∨R)) ?P∨Q∨R=?0 ??1,2,3,4,5,6,7

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

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

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

d) (P→(Q∧R) )∧(┐P→(┐Q∧┐R)) ? (┐P∨(Q∧R)) ∧(P∨(┐Q∧┐R)) ? (P∧┐P) ∨(P∧(Q∧R)) ∨ ((┐Q∧┐R) ∧┐P) ∨((┐Q∧┐R) ∧(Q∧R))

? (P∧Q∧R) ∨(┐P∧┐Q∧┐R) =?0,7??1,2,3,4,5,6?

? (P∨Q∨┐R) ∧(P∨┐Q∨R) ∧(P∨┐Q∨┐R) ∧(┐P∨Q∨R) ∧(┐P∨Q∨┐R) ∧(┐P∨┐Q∨R) e) P→(P∧(Q→P) ?┐P∨(P∧(┐Q∨P) ?(┐P∨P)∧(┐P∨┐Q∨P)

?T∨(T∧┐Q) ?T

??0,1,2,3= (┐P∧┐Q) ∨(┐P∧Q) ∨(P∧┐Q) ∨(P∧Q) f) (Q→P) ∧(┐P∧Q) ? (┐Q∨P) ∧┐P∧Q ? (┐Q∨P) ∧┐(P∨┐Q) ?F

??0,1,2,3= (P∨Q) ∧(P∨┐Q) ∧(┐P∨Q) ∧(┐P∨┐Q) 证明: a)

(A→B) ∧(A→C) ? (┐A∨B) ∧(┐A∨C) A→(B∧C) ?┐A∨(B∧C) ? (┐A∨B) ∧(┐A∨C) b)

(A→B) →(A∧B) ?┐(┐A∨B) ∨(A∧B) ? (A∧┐B) ∨(A∧B) ?A∧(B∨┐B) ?A∧T ?A

(┐A→B) ∧(B→A) ? (A∨B) ∧(┐B∨A) ?A∨(B∧┐B) ?A∨F ?A c)

A∧B∧(┐A∨┐B)

? ((A∧┐A)∨(A∧┐B))∧B ?A∧B∧┐B ?F

(5) ┐A∧┐B∧(A∨B)

? ((┐A∧A)∨(┐A∧B))∧┐B ?┐A∧┐B∧B ?F d)

A∨(A→(A∧B) ?A∨┐A∨(A∧B) ?T

┐A∨┐B∨(A∧B) ?┐(A∧B) ∨(A∧B) ?T

(6)解:A?R↑(Q∧┐(R↓P)),则A*? R↓(Q∨┐(R↑P)) A?R↑(Q∧┐(R↓P)) ?┐(R∧(Q∧(R∨P))) ?┐R∨┐Q∨┐(R∨P)

?┐(R∧Q) ∨┐(R∨P) A*?R↓(Q∨┐(R↑P)) ?┐(R∨(Q∨(R∧P)) ?┐R∧┐Q∧┐(R∧P) ?┐(R∨Q) ∧┐(R∧P)

(7) 解:设A:A去出差。B:B去出差。C:C去出差。D:D去出差。

若A去则C和D中要去一个。 A→(CVD) B和C不能都去。 ┐(B∧C) C去则D要留下。 C→┐D 按题意应有:A→(CVD),┐(B∧C),C→┐D必须同时成立。

因为CVD ? (C∧┐D) ∨(D∧┐C) 故(A→(CVD))∧┐(B∧C) ∧(C→┐D) ? (┐A∨(C∧┐D) ∨(D∧┐C)) ∧┐(B∧C) ∧(┐C∨┐D)

? (┐A∨(C∧┐D) ∨(D∧┐C)) ∧(┐B∨┐C) (8) 解:设P:A是第一。Q:B是第二。R:C是∧(┐C∨┐D)

第二。S:D是第四。E:A是第二。 ? (┐A∨(C∧┐D) ∨(D∧┐C)) ∧((┐B∧┐C) 由题意得 (PVQ) ∧(RVS) ∧(EVS)

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

∨(┐C∧D∧┐C) ∨(┐D∧C∧┐B∧┐C) ∨(┐D∧C∧┐B∧┐D)

∨(┐D∧C∧┐C∧┐D) ∨(┐D∧C∧┐C) 在上述的析取范式中,有些(画线的)不符合题意,舍弃,得

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

故分派的方法为:B∧D ,或 D∧A,或 C∧A。

? ((P∧┐Q) ∨(┐P∧Q)) ∧((R∧┐S) ∨(┐R∧S)) ∧((E∧┐S) ∨(┐E∧S)) ? ((P∧┐Q∧R∧┐S) ∨(P∧┐Q∧┐R∧S) ∨(┐P∧Q∧R∧┐S)

∨(┐P∧Q∧┐R∧S))∧((E∧┐S)∨(┐E∧S))

因为 (P∧┐Q∧┐R∧S)与

(┐P∧Q∧R∧┐S)不合题意,所以原式可化为 ((P∧┐Q∧R∧┐S)

∨(┐P∧Q∧┐R∧S))∧((E∧┐S) ∨(┐E∧S))

? (P∧┐Q∧R∧┐S∧E∧┐S) ∨(P∧┐Q∧R∧┐S∧┐E∧S)

离散数学课后习题答案 - (左孝凌版) 

c)┐(P∨┐Q)∧(S→T)?(┐P∧Q)∧(┐S∨T)?(┐P∧Q∧┐S)∨(┐P∧Q∧T)d)(P→Q)→R?┐(┐P∨Q)∨R?(P∧┐Q)∨R?(P∨R)∧(┐Q∨R)e)┐(P∧Q)∧(P∨Q)?(┐P∨┐Q)∧(P∨Q)?(┐P∧P)∨(┐P∧Q)∨(┐Q∧P)∨(┐Q∧Q)?(┐P∧Q)∨(┐Q∧P)(3)解:
推荐度:
点击下载文档文档为doc格式
7zmao6issq7tdil0366m
领取福利

微信扫码领取福利

Scan me!

微信扫码分享

闃呰骞舵帴鍙椼€婄敤鎴峰崗璁€�
娉細鍚勭櫥褰曡处鎴锋棤鍏宠仈锛佽浠呯敤涓€绉嶆柟寮忕櫥褰曘€�


鐢ㄦ埛娉ㄥ唽鍗忚

涓€銆� 鏈綉绔欒繍鐢ㄥ紑婧愮殑缃戠珯绋嬪簭骞冲彴锛岄€氳繃鍥介檯浜掕仈缃戠粶绛夋墜娈典负浼氬憳鎴栨父瀹㈡彁渚涚▼搴忎唬鐮佹垨鑰呮枃绔犱俊鎭瓑鏈嶅姟銆傛湰缃戠珯鏈夋潈鍦ㄥ繀瑕佹椂淇敼鏈嶅姟鏉℃锛屾湇鍔℃潯娆句竴鏃﹀彂鐢熷彉鍔紝灏嗕細鍦ㄩ噸瑕侀〉闈笂鎻愮ず淇敼鍐呭鎴栭€氳繃鍏朵粬褰㈠紡鍛婄煡浼氬憳銆傚鏋滀細鍛樹笉鍚屾剰鎵€鏀瑰姩鐨勫唴瀹癸紝鍙互涓诲姩鍙栨秷鑾峰緱鐨勭綉缁滄湇鍔°€傚鏋滀細鍛樼户缁韩鐢ㄧ綉缁滄湇鍔★紝鍒欒涓烘帴鍙楁湇鍔℃潯娆剧殑鍙樺姩銆傜綉绔欎繚鐣欓殢鏃朵慨鏀规垨涓柇鏈嶅姟鑰屼笉闇€鐭ョ収浼氬憳鐨勬潈鍒┿€傛湰绔欒浣夸慨鏀规垨涓柇鏈嶅姟鐨勬潈鍒╋紝涓嶉渶瀵逛細鍛樻垨绗笁鏂硅礋璐c€�

鍏抽棴