離散數(shù)學習題解答

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

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

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

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

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

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

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

8、則BÛA若AÛB，BÛC，則AÛC證明：由雙條件的定義可知AA是一個永真式，由等價式的定義可知AÛA成立。因為AÛB，由等價的定義可知AB是一個永真式，再由雙條件的定義可知BA也是一個永真式，所以，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ÛBC,

9、AÛB一定成立嗎？若¬AÛ¬B，AÛB一定成立嗎？解：不一定有AÛB。若A為真，B為假，C為真，則ACÛBC成立，但AÛB不成立。不一定有AÛB。若A為真，B為假，C為假，則ACÛBC成立，但AÛB不成立。一定有AÛ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.24pqpqq(pq

10、)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)成真，即(pq)(

11、qp)是一個永真式。(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Øq

12、Ø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.用真值表證明下列等價式：Ø(pq)ÛpØq證明：證明

13、6;(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Øp的

14、真值表完全相同，所以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)r00011010011101010010

15、101111011001101101110111000101111111由上表可見：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、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Øq)(

17、Ø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)r000011010011

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

19、6;(pq)ÛØ(pq)(qp)(雙條件等價式)ÛØ(Øpq)(Øqp)(條件等價式)Û(pØq)(qØp)(德·摩根律)Û(pØq)q)(pØq)Øp)(分配律)Û(pq)(ØqØp)(分配律)Û(ØpØq)(qp)(交換律)Û(pØq)(Øqp)(條件等價式)ÛpØq(雙條件等價式)p(qr)ÛØp(Øqr)(條件

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

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

22、律：(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.39所示，

23、析取對合取的的分配律的真值表如表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Øq&#

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

25、pq)qÛØ(Øpq)q（條件等價式）Û(pØq)q（德·摩根律）ÛF（永假式）（結(jié)合律、矛盾律）(pq)pqÛ(Øpq)pq（條件等價式）Û(Øpp)(qp)q（分配律）Û(qp)q（同一律、矛盾律）ÛØ(qp)q（條件等價式）Û(ØqØp)q（德·摩根律）ÛT(永真式)（零律、排中律）(pq)qÛ(Øpq)q（條件等價式）Ûq（可滿足式）（吸收律）(pq)(Øq&

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

27、)Û p(Øpq)（條件等價式）ÛT(永真式)p(pqr)ÛØp(pqr)（條件等價式）Û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Øq(p

28、q)Ø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)00011111001111

29、11010100110111111110001001101010111101000111111111(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)是重言式。表1.4

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

31、r)(pr)00011111001100010100001101101001100010011010001111010001111111113. 用等價演算證明題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)Øp

32、Û(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Ørr)&

33、#219;(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)(Øp

34、16;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、;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、6;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)Ûp(

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

38、)ÛØpFÛØpp(pq)Ûp(Øpq)Û(pØp)(pq)ÛF(pq)Ûpq習題 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、#216;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、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)0000000

41、01000010000011000100000101011110101111111由真值表可知，原式Û(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Øq

42、16;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使得命題公式(Øpq)(

44、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Ør

45、)(Ø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、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由真值表可知:原式Û(p

47、q)(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,2,3

48、使得命題公式Ø(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Ør

49、)(Ø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Ør

50、)(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)(Øq

51、pr)(Ø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)q

52、19;Ø(pq)qÛØpØqqÛT(無主合取范式)Û0,1,2,3Û(ØpØq)(Øpq)(pØq)(pq)7.用主析取范式判斷下列命題公式是否等價。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、Ø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)(Øpp)&#

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

56、9;0,2,6p(qr)ÛØp(Øqr)ÛØpØqrÛ6因為(pq)r與p(qr)的主合取范式不相同，所以(pq)r與p(qr)不等價。(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)。習題1.61.將下列命題公式用只含Ø，的等價式表示。(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、#216;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)Û(Øpq)

59、(Øqp)(Ørt)Û(Øpq)(Øqp)Ø(Ørt)(Ø(Øpq)(Øqp)(Ørt)Û(Øpq)(Øqp)(rØt)(pØq)(qØp)(Ørt)2. 將下列命題公式用只含Ø，的等價式表示。(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. 將下列命題公式用只含Ø