第1章 離散數(shù)學(xué)習(xí)題解答

1、精選文檔習(xí)題1.11. 下列句子中，哪些是命題？哪些不是命題？假如是命題，指出它的真值。 中國有四大創(chuàng)造。 計(jì)算機(jī)有空嗎? 不存在最大素?cái)?shù)。 21+35。 老王是山東人或河北人。 2與3都是偶數(shù)。 小李在宿舍里。 這朵玫瑰花多秀麗呀! 請勿隨地吐痰! 圓的面積等于半徑的平方乘以p。 只有6是偶數(shù)，3才能是2的倍數(shù)。 雪是黑色的當(dāng)且僅當(dāng)太陽從東方升起。假如天下大雨，他就乘班車上班。解：是命題，其中是真命題，是假命題，的真值目前無法確定；不是命題。2. 將下列復(fù)合命題分成若干原子命題。 李辛與李末是兄弟。 由于天氣冷，所以我穿了羽絨服。 天正在下雨或濕度很高。 劉英與李進(jìn)上山。 王強(qiáng)與劉威都學(xué)過法

2、語。 假如你不看電影，那么我也不看電影。我既不看電視也不外出，我在睡覺。 除非天下大雨，否則他不乘班車上班。解：本命題為原子命題；p：天氣冷；q：我穿羽絨服；p：天在下雨；q：濕度很高；p：劉英上山；q：李進(jìn)上山；p：王強(qiáng)學(xué)過法語；q：劉威學(xué)過法語；p：你看電影；q：我看電影；p：我看電視；q：我外出；r：我睡覺；p：天下大雨；q：他乘班車上班。3. 將下列命題符號化。 他一面吃飯，一面聽音樂。 3是素?cái)?shù)或2是素?cái)?shù)。 若地球上沒有樹木，則人類不能生存。 8是偶數(shù)的充分必要條件是8能被3整除。 停機(jī)的緣由在于語法錯(cuò)誤或程序錯(cuò)誤。 四邊形ABCD是平行四邊形當(dāng)且僅當(dāng)它的對邊平行。 假如a和b是偶數(shù)

3、，則a+b是偶數(shù)。解：p：他吃飯；q：他聽音樂；原命題符號化為：pqp：3是素?cái)?shù)；q：2是素?cái)?shù)；原命題符號化為：pqp：地球上有樹木；q：人類能生存；原命題符號化為：ØpØqp：8是偶數(shù)；q：8能被3整除；原命題符號化為：pqp：停機(jī)；q：語法錯(cuò)誤；r：程序錯(cuò)誤；原命題符號化為：qrpp：四邊形ABCD是平行四邊形；q：四邊形ABCD的對邊平行；原命題符號化為：pq。p：a是偶數(shù)；q：b是偶數(shù)；r：a+b是偶數(shù)；原命題符號化為：pqr4. 將下列命題符號化，并指出各復(fù)合命題的真值。假如3+3=6，則雪是白的。 假如3+36，則雪是白的。 假如3+3=6，則雪不是白的。 假如

4、3+36，則雪不是白的。是無理數(shù)當(dāng)且僅當(dāng)加拿大位于亞洲。 2+3=5的充要條件是是無理數(shù)。(假定是10進(jìn)制) 若兩圓O1，O2的面積相等，則它們的半徑相等，反之亦然。 當(dāng)王小紅心情開心時(shí)，她就唱歌，反之，當(dāng)她唱歌時(shí)，肯定心情開心。解：設(shè)p：336。q：雪是白的。原命題符號化為：pq；該命題是真命題。原命題符號化為：Øpq；該命題是真命題。原命題符號化為：pØq；該命題是假命題。原命題符號化為：ØpØq；該命題是真命題。p：是無理數(shù)；q：加拿大位于亞洲；原命題符號化為：pq；該命題是假命題。p：2+35；q：是無理數(shù)；原命題符號化為：pq；該命題是真命題。

5、p：兩圓O1,O2的面積相等；q：兩圓O1,O2的半徑相等；原命題符號化為：pq；該命題是真命題。p：王小紅心情開心；q：王小紅唱歌；原命題符號化為：pq；該命題是真命題。習(xí)題1.21.推斷下列公式哪些是合式公式，哪些不是合式公式。 (pqr) (p(qr) (Øpq)(rs) (pqrs) (p(qr)(qp)qr)。解：是合式公式；不是合式公式。2.設(shè)p：天下雪。q：我將進(jìn)城。r：我有時(shí)間。將下列命題符號化。 天沒有下雪，我也沒有進(jìn)城。 假如我有時(shí)間，我將進(jìn)城。 假如天不下雪而我又有時(shí)間的話，我將進(jìn)城。解： ØpØq rq Øprq 3.設(shè)p、q、r

6、所表示的命題與上題相同，試把下列公式譯成自然語言。 rq ¬ (rq) q (r¬ p) (qr)(rq) 解： 我有時(shí)間并且我將進(jìn)城。 我沒有時(shí)間并且我也沒有進(jìn)城。 我進(jìn)城，當(dāng)且僅當(dāng)我有時(shí)間并且天不下雪。 假如我有時(shí)間，那么我將進(jìn)城，反之亦然。4. 試把原子命題表示為p、q、r等，將下列命題符號化。 或者你沒有給我寫信，或者它在途中丟失了。 假如張三和李四都不去，他就去。 我們不能既劃船又跑步。 假如你來了，那末他唱不唱歌將看你是否伴奏而定。解： p：你給我寫信；q：信在途中丟失；原命題符號化為：(ØpØ q)(pq)。p：張三去；q：李四去；r：他去

7、；原命題符號化為：ØpØqr。p：我們劃船；q：我們跑步；原命題符號化為：Ø（pq）。p：你來了；q：他唱歌；r：你伴奏；原命題符號化為：p（qr）。5. 用符號形式寫出下列命題。假如上午不下雨，我去看電影，否則就在家里讀書或看報(bào)。我今日進(jìn)城，除非下雨。僅當(dāng)你走，我將留下。解：p：上午下雨；q：我去看電影；r：我在家讀書；s：我在家看報(bào)；原命題符號化為：（Øpq）（prs）。p：我今日進(jìn)城；q：天下雨；原命題符號化為：Øqp。p：你走；q：我留下；原命題符號化為：qp。習(xí)題1.31.設(shè)A、B、C是任意命題公式，證明：AÛA若A

8、9;B，則BÛA若AÛB，BÛC，則AÛC證明：由雙條件的定義可知AA是一個(gè)永真式，由等價(jià)式的定義可知AÛA成立。由于AÛB，由等價(jià)的定義可知AB是一個(gè)永真式，再由雙條件的定義可知BA也是一個(gè)永真式，所以，BÛA成立。對A、B、C的任一賦值，由于AÛB，則AB是永真式， 即A與B具有相同的真值，又由于BÛC，則BC是永真式， 即B與C也具有相同的真值，所以A與C也具有相同的真值；即AÛC成立。2.設(shè)A、B、C是任意命題公式，若ACÛBC, AÛB肯定成立嗎？若ACÛ

9、BC, AÛB肯定成立嗎？若¬AÛ¬B，AÛB肯定成立嗎？解：不肯定有AÛB。若A為真，B為假，C為真，則ACÛBC成立，但AÛB不成立。不肯定有AÛB。若A為真，B為假，C為假，則ACÛBC成立，但AÛB不成立?？隙ㄓ蠥ÛB。3.構(gòu)造下列命題公式的真值表，并求成真賦值和成假賦值。 q(pq)p p(qr) (pq)(qp) (pØq)(rq)r (¬p(p¬q)r)(q¬r)解：q(pq)p的真值表如表1.24所示。表1.24pqpq

10、q(pq)q(pq)p00101011101000111111使得公式q(pq)p成真的賦值是：00，10，11，使得公式q(pq)p成假的賦值是：01。p(qr) 的真值表如表1.25所示。表1.25pqrqrp(qr)0000100111010110111110000101111101111111 使得公式p(qr)成真的賦值是：000，001，010，011，101，110，111，使得公式p(qr)成假的賦值是：100。(pq)(qp) 的真值表如表1.26所示。表1.26pqpqqp(pq)(qp)00001011111011111111全部的賦值均使得公式(pq)(qp)成真，即(

11、pq)(qp)是一個(gè)永真式。(pØq)(rq)r的真值表如表1.27所示。表1.27pqrØqpØqrq(pØq)(rq)(pØq)(rq)r0001000100110001010000010110011110011010101110111100000111100111使得公式(pØq)(rq)r成真的賦值是：000，001，010，011，101，110，111，使得公式(pØq)(rq)r成假的賦值是：100。(Øp(pØq)r)(qØr) 的真值表如表1.28所示。表1.28pqrp

12、16;qØp(pØq)(Øp(pØq)rqØr(Øp(pØq)r)(qØr)0000010100100101010001110110010110011000101111011100101111101101使得公式(Øp(pØq)r)(qØr)成真的賦值是：000，001，010，011，101，110，111，使得公式(Øp(pØq)r)(qØr)成假的賦值是：100。 4.用真值表證明下列等價(jià)式：Ø(pq)ÛpØq證明：證明

13、Ø(pq)ÛpØq的真值表如表1.29所示。表1.29pqpqØ(pq)ØqpØq001010011000100111111000由上表可見：Ø(pq)和pØq的真值表完全相同，所以Ø(pq)ÛpØq。pqÛØqØp 證明：證明pqÛØqØp的真值表如表1.30所示。表1.30pqpqØpØqØqØp001111011101100010111001由上表可見：pq和Øq

14、6;p的真值表完全相同，所以pqÛØqØp。Ø(pq)ÛpØq證明：證明Ø(pq)和pØq的真值表如表1.31所示。表1.31pqpqØ(pq)ØqpØq001010010101100111111000由上表可見：Ø(pq)和pØq的真值表完全相同，所以Ø(pq)ÛpØq。p(qr)Û(pq)r證明：證明p(qr)和(pq)r的真值表如表1.32所示。表1.32pqrqrp(qr)pq(pq)r0001101001110101

15、0010101111011001101101110111000101111111由上表可見：p(qr)和(pq)r的真值表完全相同，所以p(qr)Û(pq)r。p(qp)Û Øp(pØq)證明：證明p(qp)和Øp(pØq)的真值表如表1.33所示。表1.33pqqpp(qp)ØpØqpØqØp(pØq)00111111010110111011011111110001由上表可見：p(qp)和Øp(pØq)的真值表完全相同，且都是永真式，所以p(qp)Û&#

16、216;p(pØq)。Ø(pq)Û(pq)Ø(pq)證明：證明Ø(pq)和(pq)Ø(pq)的真值表如表1.34所示。表1.34pqpqØ(pq)pqpqØ(pq)(pq)Ø(pq)00100010010110111001101111101100由上表可見：Ø(pq)和(pq)Ø(pq)的真值表完全相同，所以Ø(pq)Û(pq)Ø(pq)Ø(pq)Û(pØq)(Øpq) 證明：證明Ø(pq)和(pØ

17、;q)(Øpq)的真值表如表1.35所示。表1.35pqpqØ(pq)pØqØpq(pØq)(Øpq)0010000010101110011011110000由上表可見：Ø(pq)和(pØq)(Øpq)的真值表完全相同，所以Ø(pq)Û(pØq)(Øpq)。p(qr)Û(pØq)r證明：證明p(qr)和(pØq)r的真值表如表1.36所示。表1.36pqrqrp(qr)ØqpØq(pØq)r00001101

18、00111101010110010111100110000110101111111101100111111001由上表可見：p(qr)和(pØq)r的真值表完全相同，所以p(qr)Û(pØq)r。5. 用等價(jià)演算證明習(xí)題4中的等價(jià)式。Ø(pq)ÛØ(Øpq)(條件等價(jià)式)ÛpØq(德·摩根律)ØqØpÛØØqØp(條件等價(jià)式)ÛqØp(雙重否定律)ÛØpq(交換律)Û pq(條件等價(jià)式)

19、Ø(pq)ÛØ(pq)(qp)(雙條件等價(jià)式)ÛØ(Øpq)(Øqp)(條件等價(jià)式)Û(pØq)(qØp)(德·摩根律)Û(pØq)q)(pØq)Øp)(安排律)Û(pq)(ØqØp)(安排律)Û(ØpØq)(qp)(交換律)Û(pØq)(Øqp)(條件等價(jià)式)ÛpØq(雙條件等價(jià)式)p(qr)ÛØp(Øqr

20、)(條件等價(jià)式)Û(ØpØq)r(結(jié)合律)ÛØ(pq)r(德·摩根律)Û(pq)r(條件等價(jià)式)p(qp)ÛØp(Øqp)(條件等價(jià)式)ÛTØp(pØq)Ûp(ØpØq)(條件等價(jià)式)ÛT所以p(qp)Û Øp(pØq)Ø(pq)ÛØ(pq)(ØpØq)(例1.17)Û(pq)(ØpØq)(德·摩根律)

21、19;(pq)Ø(pq)(德·摩根律)所以Ø(pq)Û(pq)Ø(pq)Ø(pq)ÛØ(pq)(qp)(雙條件等價(jià)式)ÛØ(Øpq)(Øqp)(條件等價(jià)式)Û(pØq)(Øpq)(德·摩根律)p(qr)ÛØp(qr)(條件等價(jià)式)Û(Øpq)r(結(jié)合律)ÛØ(pØq)r(德·摩根律)Û(pØq)r(條件等價(jià)式)6.試用真值表證明下列命題定

22、律。結(jié)合律：(pq)rÛp(qr)，(pq)rÛp(qr)證明：證明結(jié)合律的真值表如表1.37和表1.38所示。表1.37pqrpq(pq)rqrp(qr)00000000010111010111101111111001101101111111011111111111表1.38pqrpq(pq)rqrp(qr)00000000010000010000001100101000000101000011010001111111由真值表可知結(jié)合律成立。安排律：p(qr)Û(pq)(pr)，p(qr)Û(pq)(pr)證明：證明合取對析取的安排律的真值表如表1.3

23、9所示，析取對合取的的安排律的真值表如表1.40所示。表1.39pqrqrp(qr)pqpr(pq)(pr)0000000000110000010100000111000010000000101110111101110111111111表1.40pqrqrp(qr)pqpr(pq)(pr)0000000000100010010001000111111110001111101011111100111111111111由真值表可知安排律成立。假言易位式：pqÛØqØp證明：證明假言易位式的真值表如表1.41所示。表1.41pqpqØqØpØ

24、;qØp001111011011100100111001由真值表可知假言易位律成立。雙條件否定等價(jià)式：pqÛØpØq證明：證明雙條件否定的真值表如表1.42所示。表1.42pqpqØpØqØpØq001111010100100010111001由真值表可知雙條件否定等價(jià)式成立。習(xí)題 1.4 1.用真值表或等價(jià)演算推斷下列命題公式的類型。(pØq)qÛØ(pØq)q（條件等價(jià)式）Û(Øpq)q（德·摩根律）Ûq（可滿足式）（吸取律）

25、16;(pq)qÛØ(Øpq)q（條件等價(jià)式）Û(pØq)q（德·摩根律）ÛF（永假式）（結(jié)合律、沖突律）(pq)pqÛ(Øpq)pq（條件等價(jià)式）Û(Øpp)(qp)q（安排律）Û(qp)q（同一律、沖突律）ÛØ(qp)q（條件等價(jià)式）Û(ØqØp)q（德·摩根律）ÛT(永真式)（零律、排中律）(pq)qÛ(Øpq)q（條件等價(jià)式）Ûq（可滿足式）（吸取律）(pq)(

26、6;qØp)Û(pq)(pq)（假言易位式）ÛT(永真式)(pq)(qr)(pr)ÛØ(Øpq)(Øqr)(Øpr)（條件等價(jià)式）Û(pØq)(qØr)(Øpr)（德·摩根律）Û(pØq)(Øpqr)(ØpØrr)（安排律）Û(pØq)(Øpqr)（同一律、排中律、零律）Û(Øpqrp)(ØpqrØq)（安排律）ÛT(永真式)Ø

27、p(pq)Û p(Øpq)（條件等價(jià)式）ÛT(永真式)p(pqr)ÛØp(pqr)（條件等價(jià)式）ÛT(永真式)2.用真值表證明下列命題公式是重言式。(p(pq)q(p(pq)q的真值表如表1.43所示。由表1.43可以看出(p(pq)q是重言式。表1.43pqpqp(pq)(p(pq)q00101011011000111111(Øq(pq)Øp(Øq(pq)Øp的真值表如表1.44所示。由表1.44可以看出(Øq(pq)Øp是重言式。表1.44pqpqØqØ

28、;q(pq)Øp(Øq(pq)Øp0011111011001110010011110001(Øp(pq)q(Øp(pq)q的真值表如表1.45所示。由表1.45可以看出(Øp(pq)q是重言式。表1.45pqpqØ pØp(pq)(Øp(pq)q000101011111101001111001(pq)(qr)(pr)(pq)(qr)(pr)的真值表如表1.46所示。由表1.46可以看出(pq)(qr)(pr)是重言式。表1.46pqrpqqr(pq)(qr)pr(pq)(qr)(pr)0001111100

29、111111010100110111111110001001101010111101000111111111(pq)(pr)(qr)r(pq)(pr)(qr)r的真值表如表1.47所示。由表1.47可以看出(pq)(pr)(qr)r是重言式。表1.47pqrpqprqr(pq)(pr)(qr)(pq)(pr)(qr)r0000110100101101010110010111111110010101101111111101000111111111(pq)(rs)(pr)(qs)(pq)(rs)(pr)(qs)的真值表如表1.48所示。由表1.48可以看出(pq)(rs)(pr)(qs)是重言式。

30、表1.48pqrspqrs(pq)(rs)prqs(pr)(qs)原公式00001110011000111100110010100001100111110011010011100110101111011101101000011011111101111000010001110010100011101000010011011010100111001110011110111101111110100100111111111111(pq)(qr)(pr)(pq)(qr)(pr)的真值表如表1.49所示。由表1.49可以看出(pq)(qr)(pr)是重言式。表1.49pqrpqqr(pq)(qr)pr(p

31、q)(qr)(pr)00011111001100010100001101101001100010011010001111010001111111113. 用等價(jià)演算證明題2中的命題公式是重言式。(p(pq)qÛØ(p(Øpq)qÛ(Øp(pØq)qÛ(Øpp)(ØpØq)qÛ(ØpØq)qÛT(Øq(pq)ØpÛ(Øq(Øpq)ØpÛØ(Øq(Øpq)

32、16;pÛ(q(pØq)ØpÛ(Øpq)(pØq)ÛØ(pØq)(pØq)ÛT(Øp(pq)qÛ(Øpq)qÛØ(Øpq)qÛpØqqÛT(pq)(qr)(pr)ÛØ(Øpq)(Øqr)(Øpr)Û(pØq)(qØr)(Øpr)Û(pØq)(Øpqr)(ØpØ

33、rr)Û(pØq)(Øpqr)Û(Øpqrp)(ØpqrØq)ÛT(pq)(pr)(qr)rÛ(pq)(Øpr)(Øqr)rÛ(pq)(Ø(pq)r)rÛ(pq)r)rÛØ(pq)r)rÛØ(pq)ØrrÛT(pq)(rs)(pr)(qs)ÛØ(Øpq)(Ørs)(Ø(pr)(qs)Û(pØq)(rØs)(Ø

34、pØr)(qs)Û(pØq)(rØs)(ØpØrq)(ØpØrs)Û(pØq)(rØs)(ØpØrq)(pØq)(rØs)(ØpØrs)Û(rØs)(ØpØrqp)(ØpØrqØq)(rØs)(ØpØrsp)(ØpØrsØq)Û(rØs)T)(rØs)(Øp&

35、#216;qØrs)Û(rØs)(ØpØqØrs)Û(ØpØqØrsr)(ØpØqØrsØs)ÛT(pq)(qr)(pr)Û(Øpq)(Øqp)(Øqr)(Ørq)(pr)ÛØ(Øpq)(Øqp)(Øqr)(Ørq)(pr)(ØpØr)Û(pØq)(pr)(rØq)(qØr)(q

36、Øp)(ØpØr)Û(p(Øqr)Ø(Øqr)(rØq)(qØp)(ØpØr)Û(Ø(Øqr)(Øqr)(pØ(Øqr)(rØq)(qØp)(ØpØr)Û(T(pØ(Øqr)(rØq)(qØp)(ØpØr)Ûp(qØr)(rØq)(qØp)(ØpØr)

37、9;p(qØr)(qØp)(ØpØr)(rØq)Ûp(qØr)(Øp(qØr)Ø(qØr)Ûp(qØr)Øp(Øqr)ÛT4.證明下列等價(jià)式：(pr)(qr)Û(Øpr)(Øqr)Û(ØpØq)rÛØ(pq)rÛ(pq)r(pq)(pØq)Û(Øpq)(ØpØq)ÛØp(q

38、16;q)ÛØpFÛØpp(pq)Ûp(Øpq)Û(pØp)(pq)ÛF(pq)Ûpq習(xí)題 1.5 1.求下列命題公式的析取范式。(pØq)rÛØ(pØq)rÛØpqrØ(pq)rÛØØ(Øpq)rÛ(Øpq)rÛØpqrp(pq)Û p(Øpq)Û(pØp)(pq)Û pq(pq)(qr)

39、9;(Øpq)(qr)Û q(Øpr)Ø(pØq)(rt)Û(Øpq)(Ørt)Û(ØpqØr)(Øpqt)2. 求下列命題公式的合取范式。Ø(pq)ÛØ(Øpq)ÛpØqØq(pqr)Û(Øqp)(Øqq)(Øqr)Û(Øqp)(Øqr)(Øpq)(pØq)Û(Øpq)p)(Øpq)&#

40、216;q)Û(Øpp)(qp)(ØpØq)(qØq)Û(pq)(ØpØq)Ø(pq)ÛØ(pq)(ØpØq)Û(ØpØq)(pq)Ø(pq)rÛØØ(Øpq)rÛ(Øpq)rÛØpqr3.求下列命題公式的主析取范式，并求命題公式的成真賦值。(pq)(pr)作(pq)(pr)的真值表，如表1.50所示。表1.50pqrpqpr(pq)(pr)000

41、000001000010000011000100000101011110101111111由真值表可知，原式Û(pØqr)(pqØr)(pqr)(主析取范式)Û5,6,7使得命題公式(pq)(pr)成真的賦值是：101，110，111。Ø(pq)(Øpr)ÛØØ(pq)(Øpr)Û(pq)(Øpr)Û(pqØp)(pqr)ÛpqrÛ(ØpØqr)(ØpqØr)(Øpqr)(pØ

42、qØr)(pØqr)(pqØr)(pqr)(主析取范式)Û1,2,3,4,5,6,7使得命題公式Ø(pq)(Øpr)成真的賦值是：001，010、011，100，101，110，111。(ØpØq)(pØq)作(ØpØq)(pØq)的真值表，如表1.51所示。表1.51pqØpØqØpqpq(pq)(pq)0011100011011110011111100001由真值表可知:原式Û(Øpq)(pØq)(pq) (主析

43、取范式)Û1,2,3使得命題公式(ØpØq)(pØq)成真的賦值是：01，10，11。(Øpq)(pØq)ÛØ(ØØpq)(pØq)ÛØ(pq)(pØq)Û(ØpØq)(pØq)Û(pØqØp)(pØqØq)ÛpØqÛ(ØpØq)(pØq)(pq)(主析取范式)Û0,2,3使得命題公式(Ø

44、pq)(pØq)成真的賦值是：00,10,11。(p(qr)(Øp(ØqØr)Û(Øp(qr)(ØØp(ØqØr)Û(Øpq)(Øpr)(pØq)(pØr)Û(Øpqr)(ØpqØr)(Øpqr)(ØpØqr)(pØqr)(pØqØr)(pqØr)(pØqØr)Û(Øpqr)(Øpq

45、16;r)(ØpØqr)(pØqr)(pqØr)(pØqØr)Û(ØpØqØr)(pqr)(主析取范式)使得命題公式(p(qr)(Øp(ØqØr)成真的賦值是：000,111。4. 求下列命題公式的主合取范式，并求命題公式的成假賦值。(pq)rÛ(Øpq)rÛ(Øpqr)(ØpqØr)(Øpr)(pr)Û(Øpqr)(ØpqØr)(Øpqr)(&#

46、216;pØqr)(pqr)(pØqr)Û(Øpqr)(ØpqØr)(ØpØqr)(pqr)(pØqr)Û0,2,4,5,6使得命題公式(pq)r成假的賦值是：000,010,100,101,110。Ø(pq)(pØq)作Ø(pq)(pØq)的真值表，如表1.52所示。表1.52pqpqØ(pq)ØqpØqØ(pq)(pØq)0010110011001010011111110001由真值表可知:原式

47、9;(pq)(pØq)Û0,1使得命題公式Ø(pq)(pØq)成假的賦值是：00,01。Ø(pq)(Øpr)ÛØØ(pq)(Øpr)Û(pq)(Øpr)Û(pqØp)(pqr)ÛpqrÛ0使得命題公式Ø(pq)(Øpr)成假的賦值是：000。Ø(pØq)ØpÛØ(ØpØq)ØpÛpqØpÛFÛ0,1

48、,2,3使得命題公式Ø(pØq)Øp成假的賦值是：00,01,10,11。(p(qr)rÛØpqrrÛØpqrÛ4使得命題公式(p(qr)r成假的賦值是：100。5. 求下列命題公式的主析取范式，再用主析取范式求出主合取范式。(pq)(qr)Û(Øpq)(Øqr)Û(Øpq)Øq)(Øpq)r)Û(ØpØq)(Øpr)(qr)Û(ØpØqr)(ØpØq

49、16;r)(ØpØqr)(Øpqr)(Øpqr)(pqr)Û(ØpØqr)(ØpØqØr)(Øpqr)(pqr)(主析取范式)Û0,1,3,7Û2,4,5,6Û(pØqr)(Øpqr)(ØpqØr)(ØpØqr)(主合取范式)Ø(ØpØq)rÛ(pq)rÛ(pqr)(pqØr)(pr)(Øpr)Û(pqr)(pq

50、16;r)(pqr)(pØqr)(Øpqr)(ØpØqr)Û(pqr)(pqØr)(pØqr)(Øpqr)(ØpØqr)(主析取范式)Û1,3,5,6,7Û0,2,4Û(pqr)(pØqr)(Øpqr)(主合取范式)6. 求下列命題公式的主合取范式，再用主合取范式求出主析取范式。(pq)rÛ(pq)(qp)rÛ(Øpq)(Øqp)rÛ(Øpqr)(ØpqØr)(

51、16;qpr)(ØqpØr)(Øpr)(pr)Û(Øpqr)(ØpqØr)(pØqr)(pØqØr)(Øpqr)(ØpØqr)(pqr)(pØqr)Û(Øpqr)(ØpqØr)(pØqr)(pØqØr)(ØpØqr)(pqr)(主合取范式)Û0,2,3,4,5,6Û1,7Û(ØpØqr)(pqr)(主析取范式)(pq)

52、qÛØ(pq)qÛØpØqqÛT(無主合取范式)Û0,1,2,3Û(ØpØq)(Øpq)(pØq)(pq)7.用主析取范式推斷下列命題公式是否等價(jià)。p(qr)和q(pr)p(qr)ÛØp(Øqr)ÛØpØqrÛ(ØpØqØr)(ØpØqr)(ØpqØr)(Øpqr)(pØqØr)(pØqr)(pqr

53、)(主析取范式)Û0,1,2,3,4,5,7q(pr)ÛØq(Øpr)ÛØpØqrÛ(ØpØqØr)(ØpØqr)(ØpqØr)(Øpqr)(pØqØr)(pØqr)(pqr)(主析取范式)Û0,1,2,3,4,5,7由于p(qr)與q(pr)的主析取范式相同，所以p(qr)Ûq(pr)。(pq)(pr)和p(qp)(pq)(pr)Û(Øpq)(Øpr)&#

54、219;Øp(qr)Û(Øpq)(ØpØq)(Øpqr)(pqr)Û(Øpqr)(ØpqØr)(ØpØqr)(ØpØqØr)(Øpqr)(pqr)Û(ØpqØr)(ØpØqr)(ØpØqØr)(Øpqr)(pqr)(主析取范式)Û0,1,2,3,7p(qp)ÛØp(qp)Û(Øpq)(Øp

55、p)ÛØpqÛ(Øpq)(ØpØq)(Øpq)(pq)Û(Øpq)(ØpØq)(pq) (主析取范式)Û0,1,3由于(pq)(pr)與p(qp)的主析取范式不相同，所以(pq)(pr)與p(qp)不等價(jià)。8. 用主合取范式推斷下列命題公式是否等價(jià)。(pq)r和p(qr)(pq)rÛØ(Øpq)rÛ(pØq)rÛ(pr)(Øqr)Û(pØqr)(pqr)(ØpØqr)

56、Û0,2,6p(qr)ÛØp(Øqr)ÛØpØqrÛ6由于(pq)r與p(qr)的主合取范式不相同，所以(pq)r與p(qr)不等價(jià)。(pØq)(Øpq)和(pq)Ø(pq)(pØq)(Øpq)Û1,2Û0,3Û(pq)(ØpØq)(pq)Ø(pq)Û(pq)(ØpØq)Û0,3由于(pØq)(Øpq)和(pq)Ø(pq)的主合取范式相同

57、，所以(pØq)(Øpq)Û (pq)Ø(pq)。習(xí)題1.61.將下列命題公式用只含Ø，的等價(jià)式表示。(pØq)rÛØ(ØpØq)(qp)rÛ(pq)(ØpØq)rØ(p(q(qr)ÛØ(Øp(qqr)(ØqØ(qr)ÛpØ(qr)(q(qr)Ûp(ØqØr)qÛpqØrp(pq)Ûp(Øpq)Û(p

58、6;(Øpq)(Øp(Øpq)Û(pØq)ØpÛØpØq(pq)rÛ(pq)(ØpØq)rÛ(pq)(ØpØq)r)(Ø(pq)(ØpØq)Ør)Û(pqr)(ØpØqr)(ØpØq)(pq)Ør)Û(pqr)(ØpØqr)(ØpØq)(pq)Ør)(pq)(rt)Û(Ø

59、;pq)(Øqp)(Ørt)Û(Øpq)(Øqp)Ø(Ørt)(Ø(Øpq)(Øqp)(Ørt)Û(Øpq)(Øqp)(rØt)(pØq)(qØp)(Ørt)2. 將下列命題公式用只含Ø，的等價(jià)式表示。(pq)ØpÛØ(ØpØq)p)pqÛ(Øpq)(Øqp)ÛØ(Ø(Øpq)Ø(Øqp)(pq)rÛØ(pq)rÛØ(Ø(ØpØq)Ør)pqÛØ(pq)ÛØ(pq)Ø(ØqØp) ÛØ(Ø(ØpØq)Ø(pq)(pq)rÛ(Øpq)(Øqp)rÛØ(Ø(Øpq)Ø(Øqp)Ør)3. 將下列命題公式