離散數(shù)學(xué)課后習(xí)題答案左孝凌版

(1)解：

原子命題：我愛北京天安門。

復(fù)合命題：如果不是練健美操，我就出外旅游拉。

(2)解：

a)(1P八R)-Q

b)QfR

c)IP

d)P--IQ

(3)解：

a)設(shè)Q:我將去參加舞會。R:我有時間。P:天下雨。

Q6(RA-iP):我將去參加舞會當(dāng)且僅當(dāng)我有時間和天不下雨。

b)設(shè)R:我在看電視。Q:我在吃蘋果。

R/\Q：我在看電視邊吃蘋果。

c)設(shè)Q:一個數(shù)是奇數(shù)。R:一個數(shù)不能被2除。

(QfR)八(R-Q):一個數(shù)是奇數(shù)，則它不能被2整除并且一個數(shù)不能被2整除，則它是奇數(shù)。

⑸解：

\設(shè)

a1

7王強(qiáng)身體很好。Q：王強(qiáng)成績很好。PAQ

\設(shè)

b1

7小李看書。Q；小李聽音樂。PAQ

\設(shè)

c1

7氣候很好。Q：氣候很熱。PVQ

d\設(shè)

7a和b是偶數(shù)。Q：a+b是偶數(shù)。P-Q

\設(shè)

e!

7四邊形ABCD是平行四邊形。Q:四邊形ABCD的對邊平行。P—Q

\設(shè)

f1

7語法錯誤。Q：程序錯誤。R：停機(jī)。(PVQ)-R

(6)解:

a)P：天氣炎熱。Q：正在下雨。PAQ

b)P：天氣炎熱。R：濕度較低。PAR

c)R:天正在下雨。S:濕度很高。RVS

d)A:劉英上山。B:李進(jìn)上山。AAB

e)止老王是革新者。N:小李是革新者。MVN

f)L:你看電影。M:我看電影。-IL--|M

g)P：我不看電視。Q：我不外出。R：我在睡覺。PAQAR

h)P:控制臺打字機(jī)作輸入設(shè)備。Q:控制臺打字機(jī)作輸出設(shè)備。PAQ

1-3

(1)解：

a)不是合式公式，沒有規(guī)定運(yùn)算符次序(若規(guī)定運(yùn)算符次序后亦可作為合式公式)

b)是合式公式

c)不是合式公式(括弧不配對)

d)不是合式公式(R和S之間缺少聯(lián)結(jié)詞)

e)是合式公式。

(2)解：

a)A是合式公式，(AVB)是合式公式，(A->(AVB))是合式公式。這個過程可以簡記為:

A；(AVB)；(A-(AVB))

同理可記

b)A；-iA；(-1AAB)；((-iAAB)AA)

c)A；-|A；B；(~iA-*B)；(BfA)；((~|A-*B)(B-^A))

d)A；B；(A-B)；(B-*A)；((A-*B)V(B-*A))

(3)解：

a)((((A-C)一((BAO-A))-((BAO-A))-(A-C))

b)((B-*A)V(A-*B))o

(4)解：

a)是由c)式進(jìn)行代換得到，在c)中用Q代換P,(P-P)代換Q.

d)是由a)式進(jìn)行代換得到，在a)中用P-(Q-P)代換Q.

e)是由b)式進(jìn)行代換得到，用R代換P,S代換Q,Q代換R,P代換S.

(5)解：

a)P:你沒有給我寫信。R:信在途中丟失了。PQ

b)P:張三不去。Q:李四不去。R:他就去'(PAQ)-R

c)P:我們能劃船。Q:我們能跑步。］(歆Q)

d)P:你來了。Q:他唱歌。R:你伴奏。P-(Q—R)

(6)解：

P：它占據(jù)空間。Q：它有質(zhì)量。R：它不斷變化。S:它是物質(zhì)。

這個人起初主張：(PAQAR)“S

后來主張：(PAQ^S)A(S-R)

這個人開頭主張與后來主張的不同點(diǎn)在于：后來認(rèn)為有PAQ必同時有R,開頭時沒有這樣的主張。

(7)解：

a)P:上午下雨。Q:我去看電影。R:我在家里讀書。S:我在家里看報(bào)。JP-Q)八(P-(RVS))

b)P:我今天進(jìn)城。Q:天下雨。-JQfP

c)P:你走了。Q:我留下。QfP

1-4

(4)解:a)

pQRQARPA(QAR)PAQ(PAQ)AR

TTTTTTT

TTFFFTF

TFTFFFF

TFFFFFF

FTTTFFF

FTFFFFF

FFTFFFF

FFFFFFF

所以，PA(QAR)=(PAQ)AR

b)

PQRQVRPV(QVR)PVQ(PVQ)VR

TTTTTTT

TTFTTTT

TFTTTTT

TFFFTTT

FTTTTTT

FTFTTTT

FFTTTFT

FFFFFFF

所以，PV(QVR)o(PVQ)VR

c)

pQQVPA(QVPAPA(PAQ)V(PA

RRR)QRR)

TT

T

TT

F

TFTTTTT

TTTTFT

TFTTFTT

FFFFFF

FTTFFFF

TTFFFF

FTTFFFF

FFFFFF

FF

T

FF

F

所以，PA(QVR)=(PAQ)V(PAR)

d)

PQIP1Q-1PV-iQ1(PAQ)PA-iQ-I(PVQ)

TTFFFFFF

TFFTTTFF

FTTFTTFF

FFTTTTTT

所以，i(PAQ)o-tPV-iQ,-i(PVQ)Q-IPA-iQ

(5)解：如表，對問好所填的地方，可得公式Fi?Fe,可表達(dá)為

PQRFlF2F3F4F5F6

TTTTFTTFF

TTFFFTFFF

TFTTFFTTF

TFFFTFTTF

FTTTFFTTF

FTFTFFFTF

FFTTFTTTF

FFFFTFTTT

Fl:(QfP)-R

F2:(PA-iQA-iR)V(-1PAnQAqR)

F3:(P-Q)A(QVR)

F4:(-1PV-iQVR)A(PV-iQVR)

F5:(-1PV-iQVR)A(-1PV-iQV-iR)

F6:-|(PVQVR)

(6?

Q~n~[2Fs~[4~[5~|-6~[7ri|-9nornrn~

FFTFTFTFTFFTFTFT

TFFTTFFT1FFTTFFTT

FFFFFTTTTFl;l;FTTTT

TFFFFFFFF1!TTTTTT

解：由上表可得有關(guān)公式為

1.F2.-|(PVQ)3.-|(Q-P)4.-|P

5.-J(P-Q)6.-|Q7.-i(P“Q)8.-i(PAQ)

9.PAQ10.P^Q11.Q12.P-Q

13.P14.Q-*P15.PVQ16.T

(7)證明：

a)A-*(BfA)o-|AV(~iBVA)

oAV(-|AV-iB)

oAV(A-*-]B)

A—>(A-~|B)

b)-|Q-|((AAB)V(~iAAnB))

Qi((AAB)V-i(AVB))

Q(AVB)/\-I(AAB)

或-i(A—B)Q-I((A-B)A(B-A))

<=>-i((-iAVB)A(-iBVA))

Q-I(hAA-iB)V(-]AAA)V(BAnB)V(BAA))

0-|((-)AAnB)V(BAA))

Q-I(-1(AVB))V(AAB)

=(AVB)A-|(AAB)

c)-](AfB)<=>-](-]AVB)QAA-IB

d)-|(A"B)Q-|((A-*B)A(B-*A))

Q-I((-iAVB)ACiBVA))

B)V(-)AAB)

e)(((AABAC)-*D)A(C-*(AVBVD)))

Q(I(AABAC)VD)A(nCV(AVBVD))

Q(-I(AABAC)VD)A(-i(-1AA-iBAOVD)

o(-1(AABAC)An(-1AA-iBAO)VD

^((AABAC)V(-)AA-iBAC))-D

q(((AAB)V(-1AA-iB))AC)-D

q((C/\(A—B))fD)

f)A-*(BVC)o-|AV(BVC)

0(-1AVB)VC

<=>n(AA-]B)VC

=(AA-iB)-C

g)(A-D)A(BfD)q(-1AVD)A(nBVD)

q(~iAA-iB)VD

<=>~i(AVB)VD

Q(AVB)-D

h)((AAB)->C)A(B->(DV0)

=(-i(AAB)VC)A(-1BV(DVO)

o(-1(AAB)A(-1BVD))VC

Q(-|(AAB)A-I(-1DAB))VC

Q-I((AAB)VhDAB))VC

q((AVnD)AB)-*C

q(B/\(D-A))-C

(8)解:

a)((A-B)c(-1B-?A))AC

Q((-lAVB)—(BV-iA))AC

q((-lAVB)一(nAVB))AC

=T/\C<=>C

b)AV(nAV(BA-|B))q(AV-iA)V(BA-iB)QTVFQT

c)(AABAC)V(nAABAC)

q(AV-iA)A(BAC)

oTA(BAC)

QBAC

(9)解：1)設(shè)C為T,A為T,B為F,則滿足AVCQBVC,但AQB不成立。

2)設(shè)C為F,A為T,B為F,則滿足AACQB八C,但AQB不成立。

3)由題意知［A和1B的真值相同，所以A和B的真值也相同。

習(xí)題1-5

(1)證明：

a)(P/\(PfQ))-Q

q(PA(-|PVQ))-Q

Q(PAIP)V(PAQ)-Q

今(PAQ)fQ

Q-i(PAQ)VQ

Q-IPV-iQVQ

Q-IPVT

QT

b)-iP-(P-Q)

=PV(-1PVQ)

q(PV-iP)VQ

QTVQ

QT

c)((P-Q)/\(Q-R))f(P-R)

因?yàn)?PfQ)八(Q-R)n(P-R)

所以(P-Q)A(Q-R)為重言式。

d)((aAb)V(bAc)V(cAa))<->(aVb)A(bVc)A(cVa)

因?yàn)?(aAb)V(bAc)V(cAa))

o((aVc)Ab)V(cAa)

<=>((aVc)V(cAa))A(bV(cAa))

=(a\/c)A(bVc)A(bVa)

所以((aAb)V(bAc)V(cAa))^(aVb)A(bVc)A(cVa)為重言式。

(2)證明：

a)(P-Q)nP-(PAQ)

解法1：

設(shè)P-Q為T

(1)若P為T,則Q為T,所以P/\Q為T,故P-(PAQ)為T

(2)若P為F,則Q為F,所以PAQ為F,P-(PAQ)為T

命題得證

解法2：

設(shè)Pf(PAQ)為F,則P為T,(PAQ)為F,故必有P為T,Q為F,所以P-Q為F。

解法3：

(P-*Q)-(P-(PAQ))

Qi(iPVQ)V(nPV(PAQ))

Q-I(-1PVQ)V((-iPVP)A(-1PVQ))

QT

所以(PfQ)nP->(PAQ)

b)(PfQ)-QnPVQ

設(shè)PVQ為F,則P為F,且Q為F,

故P-Q為T,(P-Q)-Q為F,

所以(PfQ)-QnPVQ。

c)(Q-(PA-iP))-(Rf(Rf(PA-iP)))nRfQ

設(shè)R-Q為F,則R為T,且Q為F,又PAqP為F

所以Qf(PQ-iP)為T,Rf(PAiP)為F

所以Rf(Rf(PR-)P))為F,所以(Qf(PAiP))-(R-(R-(PA-iP)))為F

即(Qf(PAnP))—(R-(Rf(PA-iP)))nR-Q成立。

(3)解:

a)P-Q表示命題“如果8是偶數(shù)，那么糖果是甜的”。

b)a)的逆換式QfP表示命題“如果糖果是甜的，那么8是偶數(shù)”。

c)a)的反換式-IP-iQ表示命題“如果8不是偶數(shù)，那么糖果不是甜的”。

d)a)的逆反式［Q-iP表示命題“如果糖果不是甜的，那么8不是偶數(shù)”。

(4)解：

a)如果天下雨，我不去。

設(shè)P：天下雨。Q：我不去。P-Q

逆換式Q-P表示命題:如果我不去，則天下雨。

逆反式1Qf-iP表示命題:如果我去，則天不下雨

b)僅當(dāng)你走我將留下。

設(shè)S：你走了。R：我將留下。R-S

逆換式S-R表示命題：如果你走了則我將留下。

逆反式1S--|R表示命題：如果你不走，則我不留下。

c)如果我不能獲得更多幫助，我不能完成個任務(wù)。

設(shè)E：我不能獲得更多幫助。H：我不能完成這個任務(wù)。E-H

逆換式H-E表示命題：我不能完成這個任務(wù)，則我不能獲得更多幫助。

逆反式1H—-IE表示命題：我完成這個任務(wù)，則我能獲得更多幫助

(5)試證明P0Q,Q邏輯蘊(yùn)含P。

證明：解法1：

本題要求證明(P"Q)AQnP,

設(shè)(P—Q)AQ為T,則(PcQ)為T,Q為T,故由c的定義，必有P為T。

所以(P—Q)AQnP

解法2：

由體題可知，即證((PcQ)AQ)一P是永真式。

((PcQ)AQ)-P

o(((PAQ)V(-|PA-|Q))AQ)-P

q(1((PAQ)V(-|PA-|Q))VnQ)VP

o(((-IPV-|Q)A(PVQ))V-|Q)VP

=((-]QVnPV-|Q)A(nQVPVQ))VP

Q((-|QV-1P)AT)VP

^-|QV-|PVP

中QVT

QT

(6)解：

P：我學(xué)習(xí)Q：我數(shù)學(xué)不及格R：我熱衷于玩撲克。

如果我學(xué)習(xí)，那么我數(shù)學(xué)不會不及格：P--|Q

如果我不熱衷于玩撲克，那么我將學(xué)習(xí)：[R-P

但我數(shù)學(xué)不及格：Q

因此我熱衷于玩撲克。R

即本題符號化為：(P-*~iQ)A(~|R-*P)AQ^>R

證：

證法1：((P-*-|Q)A(nR-*P)AQ)-*R

=-i((iPV-)Q)A(RVP)AQ)VR

q(PAQ)V(-1RA-iP)V-iQVR

=((-iQVP)A(-1QVQ))V((RV-iR)A(RVnP))

o-iQVPVRV-iP

qT

所以，論證有效。

證法2：設(shè)(P-iQ)A(-1RfP)AQ為T,

則因Q為T,(P-iQ)為T,可得P為F,

由(rR-P)為T,得到R為T。

故本題論證有效。

(7)解：

P：6是偶數(shù)Q：7被2除盡R：5是素?cái)?shù)

如果6是偶數(shù)，則7被2除不盡P-iQ

或5不是素?cái)?shù)，或7被2除盡RVQ

5是素?cái)?shù)R

所以6是奇數(shù)iP

即本題符號化為：(P--IQ)A(-1RVQ)ARP

證：

證法1：((P-?Q)A(nRVQ)AR)-?P

o1(JPV-iQ)A(-1RVQ)AR)VnP

=((PAQ)V(RA-|Q)V-]R)VnP

q((-iPVP)A(iPVQ))V((-)RVR)A(nRVnQ))

q(-1PVQ)V(-1RV-iQ)

所以，論證有效，但實(shí)際上他不符合實(shí)際意義。

證法2：(P-1Q)八(-1RVQ)八R為T,

則有R為T,且1RVQ為T,故Q為T,

再由P—-IQ為T,得到1P為T。

(8)證明：

a)P=>(-iPfQ)

設(shè)P為T,則-]P為F,故iP-Q為T

b)-iAABAC^C

假定-lA/\B/\C為T,則C為T。

c)C^AVBV-iB

因?yàn)锳VBV-iB為永真，所以CnAVBViB成立。

d)-|(AAB)=>-)AV-]B

設(shè)-I(AAB)為T,則AAB為F。

若A為T,B為F,則-iA為F,B為T,故AViB為T。

若A為F,B為T,則-iA為T,1B為F,故-)AVnB為T。

若A為F,B為F,則-iA為T,B為T,故-)AVnB為T。

命題得證。

e)-|A-(BVC),DVE,(DVE)-*-|A=>BVC

設(shè)lAf(BVC),DVE,(。▽￡)--1人為1',

則DVE為T,(DVE)f［A為T,所以-1A為T

又1A-(BVC)為T,所以BVC為T。命題得證。

f)(AAB)-*C,-iD,-|CVDh)AVnB

設(shè)(AAB)-C,-(D,iCVD為T,則-|D為T,CVD為T,所以C為F

又(AAB)-C為T,所以AAB為F,所以為T。命題得證。

(9)解：

a)如果他有勇氣，他將得勝。

P：他有勇氣Q：他將得勝

原命題：P-Q逆反式：［QfIP表示：如果他失敗了，說明他沒勇氣。

b)僅當(dāng)他不累他將得勝。

P：他不累Q：他得勝

原命題：QfP逆反式：［P-iQ表示：如果他累，他將失敗。

習(xí)題1-6

⑴解：

a)(PAQ)AnPQ(PAIP)AQQ-I(TVQ)

b)(P-(QViR))A-iPAQ

Q(-1PV(QV-iR))AnPAQ

Q(-IPA-iPAQ)V(QA-iPAQ)V(nRA-iPAQ)

Q(IPAQ)V(-1PAQ)V(-1PA-iRAQ)

Q-IPAQ

=-](PV-iQ)

c)PA-iQA(-1R~P)

Q-IPA-iQA(RVP)

Q(-IPA-iQAR)VhPA-iQAP)

<=>(nPA-iQAR)VF

Q-jPAnQAR

Q-I(PVQV-iR)

⑵解：

a)-|PoPIP

b)PVQo-|(PIQ)o(PIQ)I(PIQ)

c)PAQ=-|PJ-IQ—(PIP)I(QIQ)

⑶解：

Pf(-iP—Q)

Q-IPV(PVQ)

QT

Q-IPVP

Q(-1Pt-IP)t(PtP)

QPt(PTP)

P-(-1P-Q)

Q-IPV(PVQ)

oT

Q-IPVP

Q-i(-1PIP)

Q-l((PIP)IP)

Q((PIP)IP)I((PIP)IP)

(4)解：

PtQ

(-|PI-]Q)

Q-I((PIP)；(QIQ))

=((PIP)I(QIQ))I((P1P)1(QJQ))

⑸證明：

-I(BtC)

(-)BV-iC)

=-|BI-)C

1(BIC)

Q-|(-)BA-]C)

Bt-|C

(6)解：聯(lián)結(jié)詞“t”和“I”不滿足結(jié)合律。舉例如下：

a)給出一組指派：P為T,Q為F,R為F,則(PtQ)TR為T,Pt(QtR)為F

故(PtQ).RPt(QtR).

b)給出一組指派：P為T,Q為F,R為F,則(PIQ)IR為T,PI(QIR)為F

故故IQ)蜘PI(QIR).

⑺證明：

設(shè)變元P,Q,用連結(jié)詞c,-i作用于P,Q得到：P,Q,iP,Q,PcQ,P—P,QcQ,QcP。

但P—QoQ-P,P-PQQCQ,故實(shí)際有：

P,Q,-iP,-]Q,PcQ,PcP(T)(A)

用I作用于(A)類，得到擴(kuò)大的公式類(包括原公式類)：

P,Q,~iP,-]Q,~i(P<->Q)?T,F,PcQ(B)

用“作用于(A)類,得到：

P—Q,Pc-|P=F,P<->-|Q=-|(P-Q),P—(P-Q)=Q,P<->(P—P)=P,

PQ-](P—Q),Q?-?-|QQF,Q—(PaQ)<=>P,Q"TQQ,

-)QQPQQ,-IP<->(P<->Q)=-jQ,-iP<->TQ-|P,

-|Q<-?(P—Q)P,~iQoT<=>-|Q,

(PQQ)Q(PQQ)QPQQ.

因此，(A)類使用運(yùn)算后，仍在(B)類中。

對(B)類使用1運(yùn)算得：

-IP,-iQ,P,Q,P->Q,F,T,

-I(PcQ),

仍在(B)類中。

對(B)類使用一運(yùn)算得：

P—Q,P<->-|P=F,QQ-J(P1Q),P--)(P<->Q)=-)Q,P<->ToP,PAFQ-JP,P<-?(P?-?Q)

QQ,

Q<-?-|P<=>-|(P<-?Q),Q<->-|QQF,Q<->-|(P<->Q)<=>-)P,QCTQQ,Q->FQ-]Q,Q?->(P—Q)QP,

-|P<->-|QOPQQ,-I(P<->Q)QQ,-|PCTQ-]P,-|P<->F<=>P,-|P<->(P<->Q)=-)Q,

-l(P<->Q)=P,-|Q<->T<=>-|Q,-|Q<->To-|Q,-|Q<->(P<->Q)=-)P,

-|(PcQ)(PQQ),-](PcQ)QFQPQQ,-|(PcQ)c(PcQ)0F

T<->F<=>F,T?-?(P<-?Q)oP—Q

FQ(PQQ)Q-|(PcQ)

(P—Q)a(Pe?Q)oP—Q.

故由(B)類使用-運(yùn)算后，結(jié)果仍在(B)中。

由上證明：用c「兩個連結(jié)詞，反復(fù)作用在兩個變元的公式中，結(jié)果只能產(chǎn)生(B)類中的公式，總

共僅八個不同的公式，故｛一-｝于是功能完備的，更不能是最小聯(lián)結(jié)詞組。

已證｛2「｝不是最小聯(lián)結(jié)詞組，漢因?yàn)镻Q?-I(P1Q),故任何命題公式中的聯(lián)結(jié)詞，如僅

用｛V，I｝表達(dá)，則必可用｛—｝表達(dá)，其j真。故｛｝也必不是最小聯(lián)結(jié)詞組。

(8)證明｛V｝,｛八｝和｛-｝不是最小聯(lián)結(jié)詞組。

證明：若｛V｝,｛八｝和｛一｝是最小聯(lián)結(jié)詞，則

-1PQ(PVPV.)

-iPQ(PAPA……)

-)P=Pf(P-*(P-*.)

對所有命題變元指派T,則等價式左邊為F,右邊為T,與等價表達(dá)式矛盾。

所以｛V｝,｛八｝和｛-｝不是最小聯(lián)結(jié)詞。

⑼證明｛l,-｝和卜1,｝是最小聯(lián)結(jié)詞組。

證明：因?yàn)椴?，V｝為最小聯(lián)結(jié)詞組，且PVQQ-IP—Q

所以人，一｝是功能完備的聯(lián)結(jié)詞組，又卜｝,｛-｝都不是功能完備的聯(lián)結(jié)詞組。

所以"，一｝是最小聯(lián)結(jié)詞組。

又因?yàn)镻-Q=%(PQ),所以氣，｝是功能完備的聯(lián)結(jié)詞組，又卜｝,｛｝不是功能完備的聯(lián)結(jié)

詞組，

所以修幺｝是最小聯(lián)結(jié)詞組。

習(xí)題1-7

⑴解：

PA(P-Q)

QP/\(-1PVQ)

=(PA-iP)V(PAQ)

PA(P-*Q)

q(PV(-|QAQ))A(-|PVQ)

q(PV-iQ)A(PVQ)A(-1PVQ)

⑵解：

a)(」PAQ)fR

Q-i(-1PAQ)VR

qPV-iQVR

Q(PAQ)V(PA-iQ)V(-1QAR)V(iQAnR)V(RAP)V(RAnP)

b)P-*((QAR)->S)

o-iPV(n(QAR)VS)

Q-IPV-iQV-iRVS

0(1PAQ)V(-1PA-iQ)V(nQAR)VhQAnR)V(nRAS)V(-|RAnS)V(SAP)V(SAn

P)

c)-i(PV-iQ)A(ST)

0(-1PAQ)A(-1SVT)

Q(-IPAQA-iS)V(nPAQAT)

d)(P-Q)fR

Q-I(-1PVQ)VR

o(PAiQ)VR

Q(PVR)八(-1QVR)

e)-i(PAQ)A(PVQ)

Q(iPV-iQ)A(PVQ)

<=>(-!PAP)V(-1PAQ)V(-1QAP)V(-1QAQ)

q(-1PAQ)V(-iQAP)

(3)解:

a)PV(-|PAQAR)

Q(PV-IP)A(PVQ)A(PVR)

=(PVQ)八(PVR)

b)-i(P-Q)V(PVQ)

Q-i(-iPVQ)V(PVQ)

Q(P/\-IQ)V(PVQ)

今(PVPVQ)A(iQVPVQ)

c)-|(P-*Q)

Q-j(~iPVQ)

qPA-iQ

=(PVQ)A(PV-iQ)A(-1QV-iP)

d)(PfQ)fR

5(-1PVQ)VR

Q(PA-iQ)VR

o(PVR)A(-1QVR)

e)(-1PAQ)V(PA-iQ)

Q(iPVP)A(-1PV-iQ)A(QVP)A(QV-)Q)

Q(iPV-iQ)A(QVP)

(4)解:

a)(-1PV-iQ)-(Pc-iQ)

Q-i(-iPV-iQ)V(Pc-)Q)

o(PAQ)V(PA-)Q)V(nPAQ)

今Zl,2,3

u>pvQ=n。

b)QA(PV-IQ)

Q(PAQ)V(QAnQ)

=PAQ=￡；

Qllo.1.2

?(PVQ)A(PVnQ)A(~iPVQ)

c)PV(-|P-(QV(nQfR))

?PV(PV(QV(QVR))

<=>PVQVR=n()

03.2,3,4,5,6,7

=(-IPA-iQAR)V(-|PAQAnR)V(-iPAQAR)V(PA-|QAiR)V(PA-|QAR)

V(PAQAnR)V(PAQAR)

d)(P-*(QAR))A(nP-*(nQA-iR))

g(-1PV(QAR))A(PV(nQAqR))

q(PA-iP)V(PA(QAR))V((-iQAnR)AnP)V((-)QA-)R)A(QAR))

q(PAQAR)V(-|PA-iQA-iR)=Zo.7

<=>rii,2,3,4,5,6

=(PVQVnR)A(PV-|QVR)A(PV-|QVnR)A(-)PVQVR)AhPVQVnR)

A(qPV-iQVR)

e)P-(P/\(Q-P)

Q-IPV(PA(-)QVP)

Q(-IPVP)A(nPV-iQVP)

QTV(TAIQ)QT

(-1PA-iQ)V(-|PAQ)V(PA-|Q)V(PAQ)

f)(Q-P)A(-1PAQ)

=(-1QVP)A-iPAQ

o(-1QVP)A-i(PV-iQ)oF

an-2,3=(PVQ)A(PV-iQ)A(-1PVQ)A(-)PVnQ)

(5)證明：

a)

(A-B)A(A-*C)

Q(-1AVB)A(nAVC)

A-*(BAC)

Q-IAV(BAO

o(-1AVB)A(-1AVC)

b)

(A-B)-*(AAB)

<=>-](-]AVB)V(AAB)

o(AA-iB)V(AAB)

=A八(BVnB)

?AAT

QA

(~IA-*B)A(B-*A)

=(AVB)A(-]BVA)

oAV(BA-iB)

QAVF

c)

AABA(-1AV-iB)

=((AA-iA)V(AAnB))AB

<=>AABAnB

QF

-1AA-iBA(AVB)

q((-)AAA)V(-(AAB))A~iB

AAnBAB

QF

d)

AV(A-(AAB)

oAV-iAV(AAB)

QT

-IAV-iBV(AAB)

5(AAB)V(AAB)

(6)解:A=Rt(QAi(R)P))"[JA*QRI(QVn(RfP))

A=Rt(QAn(RIP))

o-i(RA(QA(RVP)))

Q-IRV-iQV-i(RVP)

Q-I(RAQ)V-i(RVP)

A*=RI(QV-i(RtP))

Q-I(RV(QV(RAP))

Q-IRA-iQA-](RAP)

Q-I(RVQ)A-i(RAP)

(7)解：設(shè)A：A去出差。B：B去出差。C：C去出差。D：D去出差。

若A去則C和D中要去一個。A-*(CVD)

B和C不能都去。-i(BAO

C去則D要留下。C->-|D

按題意應(yīng)有：A-*(CVD),-i(BAO,Cf~iD必須同時成立。

因?yàn)镃VDQ(CA-iD)V(DA-i0

故(A-(CWD))八(BAOA(C-?D)

o(-1AV(CA-iD)VCDAnO)An(BAOA(nCVnD)

o(-1AV(CA-iD)V(DAn0)A(-1BVn0A(nCV-|D)

=(-1AV(CA-iD)V(DA-)0)A((-iBA-iC)V(-)BAnD)V(qCAnD)Vn0

<=>(~iA/\~iB/\~iC)。(~iA/\~iB/\"iD)\Z(~iAA~iC八~iD)V(-)AAnC)

V(nBA-iCAD)V(nCADAnBAnD)V(rC/\D八iC八iD)

V(-1CADA-i0V(iDAC/\iBA-iC)V(nDACAqBAnD)

V(-iDACAnCAnD)V(nDACAnC)

在上述的析取范式中，有些(畫線的)不符合題意，舍棄，得

(-1AA-i0V(nBA-iCAD)V(-1CAD)V(nDACAnB)

故分派的方法為：BAD，或DAA,或CAAo

(8)解：設(shè)P：A是第一。Q：B是第二。R：C是第二。S：D是第四。E：A是第二。

由題意得(PVQ)A(RVS)A(EVS)

o((PA-iQ)V(-iPAQ))A((RAnS)V(-)RAS))A((EA-iS)V(qEAS))

q((PA-iQARAnS)V(PAnQAnRAS)V(nPAQARAnS)

V(-|PAQA-!RAS))A((EA-1S)V(nEAS))

因?yàn)?PA-iQA-iR/\S)與(-1PAQARA-iS)不合題意，所以原式可化為

((PA-iQARA-iS)V(nPAQA-iRAS))A((EAnS)V(-|EAS))

=(PAnQARA-iSAEA-1S)V(PA-|QARA-)SA-)EAS)

V(-|PAQA-iRASAEA-iS)V(nPAQAqRASAnEAS)

=(PA-iQARA-iSAE)V(~iPAQAnRASAnE)

因R與E矛盾，故」PAQA-iRASAnE為真，

即A不是第一，B是第二，C不是第二，D為第四，A不是第二。

于是得：A是第三B是第二C是第一D是第四。

習(xí)題1-8

⑴證明：

a)-|(PAnQ),~iQVR>-iR=>~|P

(1)-iRP

(2)-|QVRP

(3)-)Q(1)(2)T,I

(4)-i(PA-iQ)P

(5)-|PVQ(4)T,E

(6)-iP(3)(5)T,I

b)Jf(MVN),(HVG)fJ,HVGnMVN

(1)(HVG)-JP

(2)(HVG)P

(3)J⑴⑵T,I

(4)J一(MVN)P

(5)MVN(3)(4)T,I

c)BAC,(B3)f(HVG)nGVH

(1)BACP

(2)B⑴T,I

(3)C(1)T,I

(4)BV-iC(2)T,I

(5)CV-iB(3)T,I

(6)C-B(4)T,E

(7)B-C(5)T,E

(8)BcC(6)(7)T,E

(9)(B-C)-(HVG)P

(10)HVG(8)(9)T,I

d)P-*Q,(-)QVR)AnR,n(nPAS)n-jS

⑴(-1QVR)AnR

⑵-1QVR(1)T,I

⑶iR⑴T,I

(4)~iQ(2)(3)T,I

⑸P-QP

(6)-IP(4)(5)T,I

⑺-i(-1PA-iS)P

(8)PV-iS(7)T,E

(9)ns(6)(8)T,

(2)證明:

a)-]AVB,C->-]B=>A~>-?C

(1)-i(A-1C)P

(2)A(1)T,I

(3)C(1)T,I

(4)-|AVBP

(5)B(2)(4)T,I

(6)C-BP

(7)-|B(3)(6)T,I

(8)BA-iB矛盾。(5),(7)

b)A-(B-*C),(CAD)fE,-|F-*(DAnE)=>A_*(B—F)

(1)-i(A-(B-F))P

(2)A(1)T,I

(3)-)(BfF)(l)T.I

(4)B(3)T,I

(5)-)F⑶T,

(6)A-*(B-*C)P

(7)B-C(2)(6)T,I

(8)C(4)(7)T,I

(9)-|F-(DA-iE)P

(10)DA-iE(5)(9)T,I

(11)D(10)T,I

(12)CAD(8)(11)T,I

(13)(CAD)-EP

(14)E(12)(13)T,I

(15)-|E(10)T,I

(16)EA-iE矛盾。(14),(15)

c)AVB-CAD,DVETnAT

(1)n(A-*F)P

(2)A(l)T.I

(3)-iF(l)T.I

(4)AVB⑵T,I

(5)(AVB)-*CADP

(6)CAD(4)(5)T,I

(7)C(6)T,I

(8)D(6)T,I

(9)DVE(8)T,I

(10)DVE-FP

(11)F(9)(10)T,I

(12)FA-iF矛盾。(3),(11)

d)A-(BAO,-iBVD,(E—-IF)-*D,Bf(AA-iE)nBfE

(1)-i(B-E)P

(2)B(1)T,I

(3)-|E(1)T,I

(4)1BVDP

(5)D(2)(4)T,I

(6)(E-~iF)DP

⑺n(E-nF)(5)(6)T,I

(8)E(7)T,I

(9)EA-iE矛盾

e)(A-*B)A(C-*D),(B->E)A(D-F),n(EAF),A-Cn-|A

⑴(A-B)A(C-D)P

⑵A-*B(1)T,I

⑶(B-E)A(D-F)P

(4)B-*E(3)T,I

⑸A-E(2)(4)T,I

(6)-I(EAF)P

⑺-iEV-iF(6)T,E

(8)E-?F(7)T,E

⑼A-]F(5)(8)T,I

(10)C-D(l)T.I

(11)D-F(3)T,I

(12)C-F(10)(10)T,I

(13)A-CP

(14)AfF(13)(12)T,I

(15)1Ff-]A(14)T,E

(16)A-*~iA(9)(15)T,I

(17)-lAV-iA(16)T,