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

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

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

3、a和b是偶數(shù)，則a+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. 將下列命題符號化，并指出各復(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)王小紅心情愉快時，她就唱歌，反之，當(dāng)她唱歌時，一定心情愉快。解：設(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.判斷下列公式哪些是合式公式，哪些不是合式公式。 (pqr) (p(qr) (Øpq)(rs) (pqrs) (p(qr)(qp)qr)。解：是合式公式；不是合式公式。2.設(shè)p：天下雪。q：我將進(jìn)城。r：我有時間。將下列命題符號化。 天沒有下雪，我也沒有進(jìn)城。 如果我有時間，我將進(jìn)城。 如果天不下雪而我又有時間的話，我將進(jìn)城。解： ØpØq rq Øprq 3.設(shè)p、

6、q、r所表示的命題與上題相同，試把下列公式譯成自然語言。 rq ¬ (rq) q (r¬ p) (qr)(rq) 解： 我有時間并且我將進(jìn)城。 我沒有時間并且我也沒有進(jìn)城。 我進(jìn)城，當(dāng)且僅當(dāng)我有時間并且天不下雪。 如果我有時間，那么我將進(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. 用符號形式寫出下列命題。假如上午不下雨，我去看電影，否則就在家里讀書或看報。我今天進(jìn)城，除非下雨。僅當(dāng)你走，我將留下。解：p：上午下雨；q：我去看電影；r：我在家讀書；s：我在家看報；原命題符號化為：（Øpq）（prs）。p：我今天進(jìn)城；q：天下雨；原命題符號化為：Øqp。p：你走；q：我留下；原命題符號化為：qp。習(xí)題1.設(shè)A、B、C是任意命題公式，證明：AÛA若A

8、9;B，則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Û

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不成立。一定有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的真值表如表所示。表pqpqq(pq)q(p

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

11、(rq)r的真值表如表所示。表pqrØ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) 的真值表如表所示。表pqrpØqØp(pØq)(Øp(pØq)r

12、qØ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證明：證明Ø(pq)ÛpØq的真值表如表所示。表pqpq&#

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

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

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

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

17、0011011110000由上表可見：Ø(pq)和(pØq)(Øpq)的真值表完全相同，所以Ø(pq)Û(pØq)(Øpq)。p(qr)Û(pØq)r證明：證明p(qr)和(pØq)r的真值表如表所示。表pqrqrp(qr)ØqpØq(pØq)r0000110100111101010110010111100110000110101111111101100111111001由上表可見：p(qr)和(pØq)r的真值表完全相同，所以p(qr)Û(p&

18、#216;q)r。5. 用等價演算證明習(xí)題4中的等價式。Ø(pq)ÛØ(Øpq)(條件等價式)ÛpØq(德·摩根律)ØqØpÛØØqØp(條件等價式)ÛqØp(雙重否定律)ÛØpq(交換律)Û pq(條件等價式)Ø(pq)ÛØ(pq)(qp)(雙條件等價式)ÛØ(Øpq)(Øqp)(條件等價式)Û(pØq)(qØp)(

19、德·摩根律)Û(pØq)q)(pØq)Øp)(分配律)Û(pq)(ØqØp)(分配律)Û(ØpØq)(qp)(交換律)Û(pØq)(Øqp)(條件等價式)ÛpØq(雙條件等價式)p(qr)ÛØp(Øqr)(條件等價式)Û(ØpØq)r(結(jié)合律)ÛØ(pq)r(德·摩根律)Û(pq)r(條件等價式)p(qp)ÛØp(&#

20、216;qp)(條件等價式)ÛTØp(pØq)Ûp(ØpØq)(條件等價式)ÛT所以p(qp)Û Øp(pØq)Ø(pq)ÛØ(pq)(ØpØq)(例Û(pq)(ØpØq)(德·摩根律)Û(pq)Ø(pq)(德·摩根律)所以Ø(pq)Û(pq)Ø(pq)Ø(pq)ÛØ(pq)(qp)(雙條件等價式)Û

21、6;(Øpq)(Øqp)(條件等價式)Û(pØq)(Øpq)(德·摩根律)p(qr)ÛØp(qr)(條件等價式)Û(Øpq)r(結(jié)合律)ÛØ(pØq)r(德·摩根律)Û(pØq)r(條件等價式)6.試用真值表證明下列命題定律。結(jié)合律：(pq)rÛp(qr)，(pq)rÛp(qr)證明：證明結(jié)合律的真值表如表和表所示。表pqrpq(pq)rqrp(qr)000000000101110101111011111110011

22、01101111111011111111111表pqrpq(pq)rqrp(qr)00000000010000010000001100101000000101000011010001111111由真值表可知結(jié)合律成立。分配律：p(qr)Û(pq)(pr)，p(qr)Û(pq)(pr)證明：證明合取對析取的分配律的真值表如表所示，析取對合取的的分配律的真值表如表所示。表pqrqrp(qr)pqpr(pq)(pr)0000000000110000010100000111000010000000101110111101110111111111表pqrqrp(qr)pqpr(pq)

23、(pr)0000000000100010010001000111111110001111101011111100111111111111由真值表可知分配律成立。假言易位式：pqÛØqØp證明：證明假言易位式的真值表如表所示。表pqpqØqØpØqØp001111011011100100111001由真值表可知假言易位律成立。雙條件否定等價式：pqÛØpØq證明：證明雙條件否定的真值表如表所示。表pqpqØpØqØpØq0011110101001000101

24、11001由真值表可知雙條件否定等價式成立。習(xí)題 1.用真值表或等價演算判斷下列命題公式的類型。(pØq)qÛØ(pØq)q（條件等價式）Û(Øpq)q（德·摩根律）Ûq（可滿足式）（吸收律）Ø(pq)qÛØ(Øpq)q（條件等價式）Û(pØq)q（德·摩根律）ÛF（永假式）（結(jié)合律、矛盾律）(pq)pqÛ(Øpq)pq（條件等價式）Û(Øpp)(qp)q（分配律）Û(qp)q（同一律、

25、矛盾律）ÛØ(qp)q（條件等價式）Û(ØqØp)q（德·摩根律）ÛT(永真式)（零律、排中律）(pq)qÛ(Øpq)q（條件等價式）Ûq（可滿足式）（吸收律）(pq)(ØqØp)Û(pq)(pq)（假言易位式）ÛT(永真式)(pq)(qr)(pr)ÛØ(Øpq)(Øqr)(Øpr)（條件等價式）Û(pØq)(qØr)(Øpr)（德·摩根律）Û(p

26、Øq)(Øpqr)(ØpØrr)（分配律）Û(pØq)(Øpqr)（同一律、排中律、零律）Û(Øpqrp)(ØpqrØq)（分配律）ÛT(永真式)Øp(pq)Û p(Øpq)（條件等價式）ÛT(永真式)p(pqr)ÛØp(pqr)（條件等價式）ÛT(永真式)2.用真值表證明下列命題公式是重言式。(p(pq)q(p(pq)q的真值表如表所示。由表可以看出(p(pq)q是重言式。表pqpqp(pq)(p(pq)

27、q00101011011000111111(Øq(pq)Øp(Øq(pq)Øp的真值表如表所示。由表可以看出(Øq(pq)Øp是重言式。表pqpqØqØq(pq)Øp(Øq(pq)Øp0011111011001110010011110001(Øp(pq)q(Øp(pq)q的真值表如表所示。由表可以看出(Øp(pq)q是重言式。表pqpqØ pØp(pq)(Øp(pq)q000101011111101001111001(pq)(

28、qr)(pr)(pq)(qr)(pr)的真值表如表所示。由表可以看出(pq)(qr)(pr)是重言式。表pqrpqqr(pq)(qr)pr(pq)(qr)(pr)0001111100111111010100110111111110001001101010111101000111111111(pq)(pr)(qr)r(pq)(pr)(qr)r的真值表如表所示。由表可以看出(pq)(pr)(qr)r是重言式。表pqrpqprqr(pq)(pr)(qr)(pq)(pr)(qr)r0000110100101101010110010111111110010101101111111101000111111

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

30、pr)的真值表如表所示。由表可以看出(pq)(qr)(pr)是重言式。表pqrpqqr(pq)(qr)pr(pq)(qr)(pr)00011111001100010100001101101001100010011010001111010001111111113. 用等價演算證明題2中的命題公式是重言式。(p(pq)qÛØ(p(Øpq)qÛ(Øp(pØq)qÛ(Øpp)(ØpØq)qÛ(ØpØq)qÛT(Øq(pq)ØpÛ(&#

31、216;q(Øpq)ØpÛØ(Øq(Øpq)Ø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

32、6;r)(Øpr)Û(pØq)(Øpqr)(ØpØ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)(&#

33、216;rs)(Ø(pr)(qs)Û(pØq)(rØs)(Ø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)(Ø

34、;pØrsØq)Û(rØs)T)(rØs)(ØpØ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)(&#

35、216;pØr)Û(pØq)(pr)(rØq)(qØr)(qØ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)&#

36、219;p(qØr)(rØq)(qØp)(ØpØr)Ûp(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

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

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

39、)(Øpq)(pØq)Û(Øpq)p)(Øpq)Ø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

40、)(pr)作(pq)(pr)的真值表，如表所示。表pqrpqpr(pq)(pr)000000001000010000011000100000101011110101111111由真值表可知，原式Û(pØqr)(pqØr)(pqr)(主析取范式)Û5,6,7使得命題公式(pq)(pr)成真的賦值是：101，110，111。Ø(pq)(Øpr)ÛØØ(pq)(Øpr)Û(pq)(Øpr)Û(pqØp)(pqr)ÛpqrÛ(Øp&#

41、216;qr)(ØpqØr)(Øpqr)(pØ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)的真值表，如表所示。表pqØpØqØpqpq(pq)(pq)0011100011011110011111100001由真值表可知:原

42、式Û(Øpq)(pØq)(pq) (主析取范式)Û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)

43、(pq)(主析取范式)Û0,2,3使得命題公式(Ø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&#

44、216;r)Û(Øpqr)(ØpqØ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)Û(Ø

45、pqr)(ØpqØr)(Øpqr)(Ø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)的真值表，如表所示。表pqpqØ(pq)ØqpØqØ(pq)(pØq)00101100110010

46、10011111110001由真值表可知:原式Û(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

47、9;pqØpÛFÛ0,1,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

48、Øqr)(ØpØqØ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)

49、(Øpr)Û(pqr)(pqØ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Û(

50、6;pqr)(ØpqØr)(Ø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Û(Ø

51、;pØqr)(pqr)(主析取范式)(pq)qÛØ(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

52、16;qØr)(pØqr)(pqr)(主析取范式)Û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)&

53、#219;(Øpq)(Øpr)ÛØ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(

54、qp)Û(Øpq)(Øpp)ÛØ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

55、6;qr)(pqr)(ØpØqr)Û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)(Ø

56、;pq)和(pq)Ø(pq)的主合取范式相同，所以(pØq)(Øpq)Û (pq)Ø(pq)。習(xí)題1.將下列命題公式用只含Ø，的等價式表示。(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)Û

57、;p(Øpq)Û(pØ(Ø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)

58、6;r)(pq)(rt)Û(Øpq)(Ø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)ÛØ

59、;(Ø(Ø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. 將下列命題公式用只含&

60、#216;，的等價式表示。ØpØq(Ørp)ÛØpØq(rp)ÛØ(pqØrØp)Ø(pq)(Øpr)Û(pq)(Øpr)(pØr)ÛØ(ØpØq)Ø(Øpr)Ø(pØr)(ØpØq)(pØq)Û(ØpØq)(ØpØq)ÛØpØqÛØ(pq)(Øpq)(pØq)ÛØ(pq)Ø(pØq)Û(