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

1-1,1-2

解：

a)是命題，真值為T。

b)不是命題。

c)是命題，真值要根據(jù)具體情況確定。

d)不是命題。

e)是命題，真值為T。

f)是命題，真值為T。

g)是命題，真值為F。

h)不是命題。

i)不是命題。

(2)解：

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

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

(3)解：

a)(-1PAR)fQ

b)QfR

c)-iP

d)Pf-iQ

(4)解：

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

Q—(RA-iP)：我將去參加舞會(huì)當(dāng)且僅當(dāng)我有時(shí)間和天不下雨。

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

RAQ：我在看電視邊吃蘋果。

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

(Q-R)A(RfQ):一個(gè)數(shù)是奇數(shù)，則它不能被2整除并且一個(gè)數(shù)不能被2整除，則它

是奇數(shù)。

⑸解：

a)設(shè)P：王強(qiáng)身體很好。Q：王強(qiáng)成績很好。PAQ

b)設(shè)P：小李看書。Q：小李聽音樂。PAQ

c)設(shè)P：氣候很好。Q：氣候很熱。PVQ

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

e)設(shè)P：四邊形ABCD是平行四邊形。Q：四邊形ABCD的對邊平行。P—Q

f)設(shè)P：語法錯(cuò)誤。Q：程序錯(cuò)誤。R：停機(jī)。(PVQ)-R

(6)解：

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

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

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

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

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

f)L：你看電影。M:我看電影。-]L-*-|M

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

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

習(xí)題解答

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))是合式公式。這個(gè)過程可以簡記

為：

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

同理可記

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

c)A；-iA；B；(-1A-B)；(B-A)；((qA-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))。

(4)解：

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

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

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

(5)解：

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

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

c)P:我們能劃船。Q:我們能跑步。-I(PAQ)

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

(6)解：

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

這個(gè)人起初主張：(PAQAR)<->S

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

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

這樣的主張。

(7)解：

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

(1P-Q)A(P-(RVS))

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

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

1-4

(4)解：a)

pQRQARPA(QAR)PAQ(PAQ)AR

TTTTTTT

TTFFFTF

TFTFFFF

TFFFFFF

FTTTFFF

FT1;FFFF

FFTFFFF

FFFFFFF

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

b)

PQRQVRPV(QVR)PVQ(PVQ)VR

TTTTTTT

TTFTTTT

TFTTTTT

TFFFTTT

FTTTTTT

FTFTTTT

FFTTTFT

FFFFFFF

所以，PV(QVR)<=>(PVQ)VR

PQRQVRPA(QVR)PAQPAR(PAQ)V(PAR)

TTTTTTTT

TTFTTTFT

TFTTTFTT

TFFFFFFF

FTTTFFFF

FTFTFFFF

FFTTFFFF

FFFFFFFF

所以,PA(QVR)o(PAQ)V(PAR)

d)

P-1p-1Q-iPVnQ-i(PAQ)-iPA-iQ-i(PVQ)

TTFFpFFF

TFFTTTFF

FTTFTTFF

FFTTTTTT

所以，"i(PAQ)<=>-|PV~iQ,(PVQ)<=>-|PA-)Q

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

pQRFlF2F3F4F5F6

TTTTFTTFF

TTFFFTFFF

TFTTFFTTF

TFFFTFTTF

FTTTFFTTF

FTFTFFFTF

FFTTFTTTF

FFFFTFTTT

Fl:(Q-P)fR

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

F3:(P-Q)A(QVR)

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

F5：(-1PVnQVR)A(-1PV-iQVnR)

F6:-i(PVQVR)

(6)

PQ12345678910111213141516

FFFTFTFTFTFTFTFTFT

FTFFTTFFTTFFTTFFTT

TFFFFFTTTTFFFF1TT

TTFFFFFFFFTTTTTTTT

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

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

5.-i(P-Q)6.-iQ7.n(P6Q)8.-|(PAQ)

9.PAQ10.PcQ11.Q12.P-Q

13.P14.Q-P15.PVQ16.T

(7)證明:

a)A—(B_*A)=-|AV(nBVA)

<=>AV(~iAV-|B)

oAV(A-?B)

<=>nA-*(A-*nB)

b)-](AcB)o~i((AAB)V(-iAA-iB))

bl((AAB)V-i(AVB))

=(AVB)Ai(AAB)

或-|(AcB)<=>-|((A-B)A(B~*A))

o-i((-iAVB)A(~iBVA))

o-i((-]AA-iB)VhAAA)V(BA-iB)V(BAA))

((-)AA-iB)V(BAA))

o-i(-1(AVB))V(AAB)

=(AVB)八(AAB)

c)-j(A->B)<=>-)(-)AVB)oAArB

d)-i(AcB)5((AfB)A(BfA))

o-i((-iAVB)A(-1BVA))

?(AA-|B)V(nAAB)

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

o(-)(AABAOVD)A(-|CV(AVBVD))

=(-1(AABAC)VD)A(-1(-1AA-iBAOVD)

o(-j(AABAC)A-i(-1AA-iBAO)VD

?((AABAC)V(nAA-iBAC))-D

o(((AAB)V(-iAA-iB))AO-D

。((CA(A<^B))-D)

f)A7BVC)?-iAV(BVC)

o(-1AVB)VC

(AA~1B)VC

=(AA-iB)-C

g)(A-D)A(B-D)o(-iAVD)A(rBVD)

<=>(-]AA-iB)VD

=1(AVB)VD

o(AVB)-D

h)((AAB)-C)A(B-(DVO)

=(-)(AAB)VOA(-iBV(DVO)

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

o(-i(AAB)A-i(-1DAB))VC

o-i((AAB)V(-iDAB))VC

o((AV-iD)AB)-C

=(BA(D-A))-*C

(8)解：

a)((A-B)cJB-rA))/\C

o((-IAVB)c(BV-iA))AC

o((-IAVB)c(-1AVB))AC

<=>TAC<=>C

b)AV(-)AV(BA-|B))o(AVqA)V(BAqB)oTVFoT

c)(AABAC)V(nAABAC)

o(AV-iA)A(BAO

=1'八(BAO

=B/\C

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

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

3）由題意知rA和-iB的真值相同，所以A和B的真值也相同。

習(xí)題1-5

(1)證明：

a)(P/\(PfQ))fQ

o(PAhPVQ))-*Q

=(PA~1P)V(PAQ)-Q

o(PAQ)fQ

o-i(PAQ)VQ

PV-iQVQ

o-iPVT

oT

b)-jPfJQ)

oPV(nPVQ)

=(PV-iP)VQ

oTVQ

oT

c)((P-Q)A(Q-R))—(P-R)

因?yàn)?P-Q)A(QfR)=(P-R)

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

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

因?yàn)?(a八b)V(bAc)V(cAa))

=((aVc)Ab)V(cAa)

o((aVc)V(cAa))A(bV(cAa))

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

所以((a八b)V(bAc)V(cAa))o(aVb)A(bVc)A(cVa)為重言式。

(2)證明：

a)(P-f(PAQ)

解法1：

設(shè)P-Q為T

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

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

命題得證

解法2：

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

解法3：

(P-Q)-(Pf(PAQ))

o-i(-1PVQ)V(-)PV(PAQ))

bi(-)PVQ)V((-IPVP)A(nPVQ))

oT

所以(PfQ)nPf(PAQ)

b)(PfQ)-*QnPVQ

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

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

所以(PfQ)fQnPVQ。

c)(Q-(PA-IP))f(Rf(Rf(P/V1P)))=>RfQ

設(shè)RfQ為F,則R為T,且Q為F,又PA-|P為F

所以Qf(P八-lP)為T，RTPA-IP/F

所以Rf(Rf(P八-1P))為F,所以(Qf(P八-iP))f(Rf(Rf(PArP)))為F

即(Q-(PArP))f(Rf(Rf(P/\-iP)))nRfQ成立。

(3)解：

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

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

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

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

(4)解：

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

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

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

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

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

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

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

逆反式rS-■)R表示命題：如果你不走，則我不留下。

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

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

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

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

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

證明：解法1：

本題要求證明(P—Q)AQ=>P,

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

所以(P-Q)八QnP

解法2：

由體題可知，即證((P3Q)/\Q)TP是永真式。

((PgQ)/\Q)-P

o(((PAQ)V(nPA-1Q))AQW

=(-]((PAQ)V(qPAqQ))V-,Q)VP

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

=((-!QV-]PV-]Q)A(qQVPVQ))VP

=((-)QV-]P)AT)VP

?-|QV-]PVP

<=>-)QVT

oT

(6)解：

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

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

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

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

因此我熱衷于玩撲克。R

即本題符號(hào)化為：(P1Q)A(-1RfP)八QnR

證：

證法1：((P--1Q)A(rR-P)AQ)fR

Qr((rPV-]Q)A(RVP)AQ)VR

o(PAQ)V(-1RAnP)V-)QVR

o((-iQVP)A(-1QVQ))V((RV-iR)A(RV-jP))

=-iQVPVRV-iP

0T

所以，論證有效。

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

則因Q為T,(Pf-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除盡1RVQ

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

所以6是奇數(shù)-)P

即本題符號(hào)化為：(P—Q)A(~iRVQ)AR=>-)P

證：

證法1：((P-!Q)A(-)RVQ)AR)-iP

PV-iQ)A(nRVQ)AR)VnP

o((PAQ)V(RA-iQ)V-iR)ViP

。(HPVP)A(-iPVQ))V((-iRVR)A(-|RVnQ))

o(rPVQ)V(-1RV-jQ)

oT

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

證法2：(P--IQ)A(-1RVQ)AR為T,

則有R為T,且-iRVQ為T,故Q為T,

再由P-iQ為T,得到iP為T。

(8)證明：

a)PngPfQ)

設(shè)P為T,貝hP為F,故-]P-Q為T

b)-]AABACnC

假定AABAC為T,則C為T。

c)CnAVBV-iB

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

d)-j(AAB)=-]AV-]B

設(shè)1(AAB)為T,貝>AAB為F.

若A為T,B為F,則-1A為F,18為丁，故iAV-,B為T。

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

若A為F,B為F,則-1A為T,18為。故iAV-]B為T。

命題得證。

e)-iA-(BVC),DVE,(DVE)-?A^BVC

設(shè)1Af(BVC),DVE,(DVE)fiA為T,

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

又人一(13V0為丁，所以BVC為T。命題得證。

f)(AAB)-?C,-iD,-iCVD^-iAVnB

設(shè)(AAB)-C,-iD,-1(：丫》為1',則-)D為T,CVD為T,所以C為F

又(A/\B)->C為T,所以A/\B為F,所以-]AV-]B為T。命題得證。

(9)解:

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

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

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

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

P：他不累Q：他得勝

原命題：Q-P逆反式：IP-」Q表示：如果他累，他將失敗。

習(xí)題1-6

⑴解：

a)(PAQ)AiP=(PArP)AQo-i(TVQ)

b)(P-(QV-|R))AiPAQ

o(-1PV(QV-iR))A-iPAQ

o(-1PA-iPAQ)V(QA-iPAQ)V(rRAnPAQ)

o(-|PAQ)V(-1PAQ)V(-1PA-iRAQ)

<=>~iPAQ

<=>~i(PV-iQ)

c)-)PA-iQA(iR-P)

=-iPA-]QA(RVP)

o(rPA-iQAR)V(-iPA-iQAP)

o(rPA-iQAR)VF

=-]PA-iQAR

=-)(PVQV-iR)

⑵解：

a)-)PoPIP

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

c)PAQ<=>-|PI-iQ=(PIP)I(Q1Q)

⑶解：

P-(-1PfQ)

o-iPV(PVQ)

<=>T

<=>1PVP

=(1PtIP)t(PfP)

OPt(PtP)

P-(-1P-*Q)

o-iPV(PVQ)

oT

o-)PVP

<=>-)(-1PIP)

0-1((PIP)IP)

o((PIP)IP)!((PIP)IP)

⑷解：

PtQ

<=>-)(-]PI-iQ)

bi((PIP)I(QIQ))

o((PIP)I(QIQ))I((PIP)I(QIQ))

(5)證明：

n(Bf0

0-|(-jBV-iC)

<=>-)BI-]C

-1(BIC)

<=>-l(_iBA-iC)

<=>~lBt-jC

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

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

故(PtQ)tR/Pt(QtR).

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

故(PIQ)IR,PI(QIR).

(7)證明:

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

但PcQoQ—P,P—PoQ―Q,故實(shí)際有：

P,Q,-iP,-iQ,P—Q,PcP(T)(A)

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

P,Q,-)P，-1Q，r(PcQ),T,F,PcQ(B)

用一作用于(A)類，得到：

P—Q,P?-|P=F,Pg-|Qo-|(PgQ),Pc(P—Q)oQ,P—(P-P)=P,

QyjPun(P—Q),Qc-|QoF,Q—(PcQ)=P,QcToQ,

-iP<->-]QoPcQ,-iP<->(PcQ)o-iQ,~iP—T=~iP,

nQc(P<->Q)o-iP>"iQ<->To-]Q,

(PcQ)c(P-Q)oPcQ.

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

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

-IP,-IQ,P,Q,P-Q,F,T,

-I(P-Q),

仍在(B)類中。

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

PcQ,Pc-iP=F,Pc-|Q。-](PcQ),Pc-|(PcQ)<=>-]Q,PcToP,PcF0-|P,Pc

(P—Q)=Q,

Qc-lPb](PcQ),QsQoF,Q--](PcQ)o-|P,Q—ToQ,Q—Fu>-|Q,Qn(PcQ)

0P,

-1P-QoPcQ,nP—-i(PcQ)oQ,-)P—To-iP,-)P—FoP,-|P一(PcQ)b|Q,

-lQ?-)(P<->Q)oP,-]QcT=-|Q,-jQcT=-|Q,-)Q<->(P?Q)o~iP,

-1(P—Q)—To-](P6Q),-|(P—Q)-FoP—Q,-)(P—Q)—(PcQ)oF

TcF=F,To(P-Q)<=>PcQ

2(PcQ)o-](PcQ)

(PcQ)c(P-Q)oPcQ.

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

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

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

已證｛一,■)｝.最小聯(lián)結(jié)詞組，又因?yàn)镻歹Q=1(P-Q),故任”色題公式中的聯(lián)結(jié)

詞，如僅用｛V，~|｝表達(dá)，則必可用｝表達(dá)，其逆亦真。故｛v，~1｝也必不是

最小聯(lián)結(jié)詞組。

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

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

-IPo(PVPV……)

-IPo(PAPA……)

-1PoP-(Pf嶺.)

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

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

(9)證明H,-｝和｛1，4｝是最小聯(lián)結(jié)詞組。

證明：因?yàn)椋?1,V｝為最小聯(lián)結(jié)詞組，且PVQo-iPfQ

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

所以｛-I，-｝是最小聯(lián)結(jié)詞組。

又因?yàn)镻~Qor(PZQ),所以bi,2｝是功能完備的聯(lián)結(jié)詞組，又｛~i｝,｛二｝不是功能完

備的聯(lián)結(jié)詞組，

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

習(xí)題1-7

(1)解:

PA(P-Q)

oPA(-1PVQ)

。(PAnP)V(PAQ)

PA(P-Q)

o(PV(-|QAQ))A(-iPVQ)

o(PVnQ)A(PVQ)A(-iPVQ)

(2)解：

a)(-|PAQ)fR

(-iPAQ)VR

oPV-iQVR

<=>(PAQ)V(PA-iQ)V(nQAR)V(nQAnR)V(RAP)V(RAnP)

b)Pf((Q/\R)-S)

=-1PV(-|(QAR)VS)

PV-]QV-iRVS

=(-1PAQ)V(-1PA-iQ)V(-)QAR)V(-)QA-)R)V(iRAS)V(iRAqS)V(SAP)

V(SA-iP)

c)-i(PVnQ)A(S-T)

o(-iPAQ)AHSVT)

O(-IPAQA-iS)V(-|PAQAT)

d)(PfQ)fR

=~i(-)PVQ)VR

=(PAiQ)VR

=(PVR)八(-1QVR)

e)-i(PAQ)A(PVQ)

=(-iPV-IQ)A(PVQ)

0(-1PAP)V(-1PAQ)V(-1QAP)V(1QAQ)

o(-)PAQ)V(-1QAP)

⑶解：

a)PV(-iPAQAR)

o(PV-)P)A(PVQ)A(PVR)

o(PVQ)/\(PVR)

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

o-i(-1PVQ)V(PVQ)

=(P/\iQ)V(PVQ)

o(PVPVQ)A(iQVPVQ)

c)-)(P-Q)

=-)(-)PVQ)

oPAiQ

o(PVQ)A(PV-iQ)A(-jQV-iP)

d)(PfQ)fR

=-i(-1PVQ)VR

=(PA-iQ)VR

o(PVR)A(-]QVR)

e)(nPAQ)V(PA-iQ)

o(-)PVP)A(-1PV-iQ)A(QVP)A(QV-jQ)

o(rPV-jQ)A(QVP)

(4)解：

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

o-i(-1PV-iQ)V(P?rQ)

o(PAQ)V(PA-iQ)V(-)PAQ)

OXl.2,3

??PVQ=n?

b)QA(PV-iQ)

o(PAQ)V(QAiQ)

oPAQ

u>rio.i,2

=(PVQ)A(PV-]Q)A(-1PVQ)

c)PV(-|P-(QV(iQ-R))

oPV(PV(QV(QVR))

=PVQVR=n。

=21.2.3,4,5,6,7

=(rPA-iQAR)V(nPAQArR)V(-|PAQAR)V(PA-|QA-jR)V(PA-|QAR)

V(PAQA-iR)V(PAQAR)

d)J(QAR))A(-1P-(-1QA-iR))

o(-1PV(QAR))A(PV(-iQAiR))

。(PA-iP)V(PA(QAR))V((-iQA-iR)A-)P)V((-|QAqR)A(QAR))

o(PAQAR)V(-|PA-iQA-iR)缶7

oFL.2,3,4.5,6

=(PVQV-iR)A(PV-|QVR)A(PV-|QV-]R)A(nPVQVR)A(qPVQV-]R)

A(-1PV-iQVR)

e)Pf(P/\(QfP)

0-1PV(PA(-)QVP)

o(rPVP)A(-1PVnQVP)

oTV(TA-iQ)oT

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

f)(QfP)A(-1PAQ)

o(-1QVP)A-1PAQ

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

?！?/p>

on2,3=(PVQ)A(PViQ)A(-1PVQ)A(1PV-jQ)

(5)證明：

a)

(A-B)A(A-C)

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

A-(BAO

o-]AV(BAO

=(-)AVB)A(-)AVC)

b)

(A-B)-(AAB)

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

o(AA-1B)V(AAB)

oAA(BV-iB)

=AAT

oA

(~lAfB)A(B-*A)

o(AVB)A(-1BVA)

oAV(BA-iB)

oAVF

<=>A

c)

AABAHAV-iB)

o((AA-iA)V(AA-iB))AB

<=>AABA-iB

oF

-IAA-iBA(AVB)

<=>((-]AAA)V(~iAAB))A-iB

AA-iBAB

oF

d)

AV(A-(AAB)

0AV-1AV(AAB)

0T

-1AV-iBV(AAB)

o-i(AAB)V(AAB)

oT

(6)解:AoRt(QA-i(RIP)),則A*oRI(QVn(RtP))

A=Rf(QA-i(RIP))

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

o-iRV-iQV-i(RVP)

o-l(RAQ)V-i(RVP)

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

o-i(RV(QV(RAP))

biRAnQA-i(RAP)

o-1(RVQ)A-i(RAP)

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

若A去則C和D中要去?個(gè)。A一(CVD)

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

C去則D要留下。C---iD

按題意應(yīng)有：A-(CVD),-i(BAO,CfH)必須同時(shí)成立。

因?yàn)镃VDo(CA-iD)V(DA-)0

故—(CVD))Ai(BAOA(C-nD)

=(~iAV(CA-iD)V(DA-)0)A-i(BAOA(-|CV-iD)

=(~lAV(CA-iD)V(DAn0)A(-1BV-i0A(-1CV-iD)

=(1AV((\~iI>)V(DA~iC))A((-iBA-]C)V(-]BA-iD)V(-jCA-iD)V-)C)

=(~iAA~iBA-iC)V(~iA/\~iB/\~iD)7(~iA/\~iC/\"iD)V(-)AC)

V(-1BA-iCAD)CADArBArD)V(-.CADAnCA~iD)

V(nCADA-IC)V(~iD/\CA~iI；，”(：)V(~iDACAnliAnD)

V(rDACAr(ArD)V(-|PACAn(7

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

(-1AA-i0V(-]BA-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)

。((PA-iQ)V(-|PAQ))A((RA-|S)V(nRAS))A((EA~iS)V(nEAS))

o((PA-iQARA-iS)V(PA-iQA-iRAS)V(-|PAQARAnS)

V(nPAQA-iRAS))A((EAnS)V(-|EAS))

因?yàn)?P/\rQ/\rR/\S)與JP八QAR八rS)不合題意，所以原式可化為

((PA-iQARA-iS)V(-1PAQA-iRAS))A((EAqS)V(-|EAS))

o(PA-iQARA-iSAEA-iS)V(PAnQARAqSAnEAS)

V(-iPAQA-iRASAEA-iS)V(nPAQAnRASAnEAS)

o(PA-)QARA-iSAE)V(nPAQAnRASA-]E)

因R與E矛盾，故iPAQA-iRASAiE為真，

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

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

習(xí)題1-8

(1)證明：

a)-|(PA-iQ),~iQVR>iRn-iP

(1)-iRp

(2)-iQVRp

(3)-iQ⑴⑵T,I

(4)-i(PA-iQ)P

(5)-iPVQ(4)T,E

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

b)J-(MVN),(HVG)fJ,HVGnMVN

(1)(HVG)-JP

(2)(HVG)P

(3)J(1)(2)T,I

(4)J-(MVN)P

(5)MVN⑶⑷T,I

c)BAC,(B?C)一?(HVG)=GVH

(1)BACP

(2)B(1)T,I

(3)C(DT,I

(4)BViC(2)T,I

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

(6)CfB(4)T,E

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

(8)BcC⑹⑺T,E

(9)(BoC)-(HVG)P

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

d)P-Q,(-|QVR)AnR,-j(~iPAS)=>-)S

(1)(-1QVR)A-iR

(2)-1QVR(1)T,I

(3)iR(DT,I

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

(5)P-QP

(6)IP⑷⑸T,I

(7)-I(1PA-iS)P

(8)PV-1s(7)T,E

(9)1S(6)(8)T,I

(2)證垓J:

a)-|A,VB,CfBnAf]C

(1)-1(A-iC)P

(2)A(DT.I

(3)C(1)T,I

(4)-1AVBP

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

(6)C-*BP

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

(8)BAnB矛盾。(5),(7)

b)Af(BfC),(CAD)fE,Ff(DA-|E)(B-F)

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

⑵A(DT,I

(3)-](B-F)(1)T,I

(4)B(3)T,I

(5)-]F(3)T,

(6)A-(B-C)P

(7)BfC(2)(6)T,I

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

(9)-jF-(DAnE)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)-iE(10)T,I

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

c)AVB-*CAD,DVEfFnA—F

(1)~i(A-*F)P

⑵A(DT,I

(3)-)F(1)T,I

(4)AVB(2)T,I

(5)(AVB)-CADP

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

⑺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-*(BAC),-)BVD,(E-iF)--1D,B-(AAnE)=>B-*E

(1)-i(B-E)P

(2)B(DT,I

(3)-iE(DT.I

(4)-iBVDP

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

(6)(E-?-)F)—?-]DP

(7)-i(E-?F)(5)(6)T,I

(8)E(7)T,I

(9)EA-iE矛盾

e)(A-B)A(CfD),(B-E)A(D-F),-|(EAF),A-Cn-|A

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

(2)A-B(1)T,I

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

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

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

(6)-i(EAF)P

(7)-iEV-iF(6)T,E

(8)E-*-|F(7)T,E

(9)A-iF(5)(8)T,I

(10)C-D(DT,I

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

(12)C-F