四川大學(xué)離散數(shù)學(xué)課后習(xí)題一解答或提示_第1頁(yè)
四川大學(xué)離散數(shù)學(xué)課后習(xí)題一解答或提示_第2頁(yè)
四川大學(xué)離散數(shù)學(xué)課后習(xí)題一解答或提示_第3頁(yè)
四川大學(xué)離散數(shù)學(xué)課后習(xí)題一解答或提示_第4頁(yè)
四川大學(xué)離散數(shù)學(xué)課后習(xí)題一解答或提示_第5頁(yè)
已閱讀5頁(yè),還剩8頁(yè)未讀, 繼續(xù)免費(fèi)閱讀

下載本文檔

版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)

文檔簡(jiǎn)介

-.z.習(xí)題一解答或提示1.(1)設(shè)P:他是本片的編劇,Q:他是本片的導(dǎo)演。PQ(2)設(shè)P:銀行利率降低,Q:股價(jià)上揚(yáng)。PQ(3)設(shè)P:銀行利率降低,Q:股價(jià)上升?!?PQ)(4)設(shè)P:這個(gè)對(duì)象是占據(jù)空間的,Q:這個(gè)對(duì)象是有質(zhì)量的,R:這個(gè)對(duì)象是不斷變化的,S:這個(gè)對(duì)象稱為物質(zhì)。PQRS(5)設(shè)P:他今天乘火車去了,Q:他今天隨旅行團(tuán)去了九寨溝。PQ(6)設(shè)P:小身體薄弱,設(shè)Q:小極少生病,設(shè)R:小頭腦好使。PQR(7)設(shè)P:這個(gè)人不識(shí)廬山真面目,設(shè)Q:這個(gè)人身在廬山中。QR(8)設(shè)P:兩個(gè)三角形相似,設(shè)Q:兩個(gè)三角形的對(duì)應(yīng)角相等或者對(duì)應(yīng)邊成比例。PQ(9)設(shè)P:一個(gè)整數(shù)能被6整除,設(shè)Q:這個(gè)整數(shù)能被2和3整除。PQ設(shè)R:一個(gè)整數(shù)能被3整除,設(shè)S:這個(gè)整數(shù)的各位數(shù)字之和也能被3整除。RS2、(1)命題T(2)命題T/F(3)不是命題,因?yàn)檎嬷禑o(wú)法確定。(4)命題T(5)不是命題。(6)命題T(7)命題T/F(8)不是命題,是悖論。5、〔1〕證:~〔〔~P∧Q〕∨〔~P∧~Q〕〕∨〔P∧Q〕〔~〔~P∧Q〕∧~〔~P∧~Q〕〕∨〔P∧Q〕〔〔P∨~Q〕∧〔P∨Q〕〕∨〔P∧Q〕〔P∨〔~Q∨Q〕〕∨〔P∧Q〕P∨〔P∧Q〕P〔3〕證:P→(Q∨R)~P∨(Q∨R)~P∨Q∨~P∨R〔~P∨Q〕∨〔~P∨R〕(P→Q〕∨〔P→R〕6、解:如果P∨QQ∨R,不能斷定PR。因?yàn)楫?dāng)Q=T時(shí),P∨QQ∨R恒成立。如果P∧QQ∧R,不能斷定PR。因?yàn)楫?dāng)Q=F時(shí),P∧QQ∧R恒成立。如果~P~R,則PR。8、把以下各式用↑等價(jià)表示出來(lái):解:〔P∧Q〕∨~P〔(P↑Q)↑(P↑Q)〕∨〔P↑P〕〔〔(P↑Q)↑(P↑Q)〕↑〔(P↑Q)↑(P↑Q)〕〕↑〔〔P↑P〕↑〔P↑P〕〕〔3〕解:〔P→〔Q∨~R〕〕∧~P〔~P∨〔Q∨~R〕〕∧~P〔〔P↑P〕∨〔Q∨〔R↑R〕〕〕∧〔P↑P〕;〔〔P↑P〕∨〔〔Q↑Q〕↑〔〔R↑R〕↑〔R↑R〕〕〕〕∧〔P↑P〕〔〔〔P↑P〕↑〔P↑P〕〕↑〔〔〔Q↑Q〕↑〔〔R↑R〕↑〔R↑R〕〕〕↑〔〔Q↑Q〕↑〔〔R↑R〕↑〔R↑R〕〕〕〕〕∧〔P↑P〕〔〔〔〔P↑P〕↑〔P↑P〕〕↑〔〔〔Q↑Q〕↑〔〔R↑R〕↑〔R↑R〕〕〕↑〔〔Q↑Q〕↑〔〔R↑R〕↑〔R↑R〕〕〕〕〕↑〔P↑P〕〕↑〔〔〔〔P↑P〕↑〔P↑P〕〕↑〔〔〔Q↑Q〕↑〔〔R↑R〕↑〔R↑R〕〕〕↑〔〔Q↑Q〕↑〔〔R↑R〕↑〔R↑R〕〕〕〕〕↑〔P↑P〕〕9、證:∵P∨Q~~P∨Q〔~P〕→QP∧Q~〔~P∨~Q〕~〔P→~Q〕而{~,∨,∧}是功能完備集,∴{~,→}是功能完備集,~,→不能互相表示,故{~,→}是最小功能完備集。又∵PQUOTEQ~(P→Q),∴{~,QUOTE}也是最小功能完備集。10、證:由書(shū)上的表1.16可知,“~〞對(duì)應(yīng)的真值表含2個(gè)1和2個(gè)0,而“〞對(duì)應(yīng)的真值表也含2個(gè)1和2個(gè)0,∨對(duì)應(yīng)的真值表含3個(gè)1和1個(gè)0,∧對(duì)應(yīng)的真值表含1個(gè)1和3個(gè)0,所以,“∨〞無(wú)法用“~〞和“〞來(lái)表示,同樣“∧〞也無(wú)法用“~〞和“〞來(lái)表示,因此,{~,}不是功能完備集。12.解:〔1〕a)真值表法PQRSQ∧RQ∧RS〔P→〔Q∧RS〕〕0000000100100011010001010110011110001001101010111100110111101111010101010101101101010101010110111111111111111101由表中看出,i)使公式〔P→〔Q∧RS〕〕取值1時(shí)的解釋所對(duì)應(yīng)的全部極小項(xiàng)為:〔~P∧~Q∧~R∧~S〕,〔~P∧~Q∧~R∧S〕,〔~P∧~Q∧R∧~S〕,〔~P∧~Q∧R∧S〕,〔~P∧Q∧~R∧~S〕,〔~P∧Q∧~R∧S〕,〔~P∧Q∧R∧~S〕,〔~P∧Q∧R∧S〕,〔~Q∧P∧~R∧~S〕,〔~Q∧P∧~R∧S〕,〔~Q∧P∧R∧~S〕,〔~Q∧P∧R∧S〕,〔~R∧Q∧P∧~S〕,〔~R∧Q∧P∧S〕,〔S∧Q∧R∧P〕,由定理1.8,其主析取式為:〔~P∧~Q∧~R∧~S〕∨〔~P∧~Q∧~R∧S〕∨〔~P∧~Q∧R∧~S〕∨〔~P∧~Q∧R∧S〕∨〔~P∧Q∧~R∧~S〕∨〔~P∧Q∧~R∧S〕∨〔~P∧Q∧R∧~S〕∨〔~P∧Q∧R∧S〕∨〔~Q∧P∧~R∧~S〕∨〔~Q∧P∧~R∧S〕∨〔~Q∧P∧R∧~S〕∨〔~Q∧P∧R∧S〕∨〔~R∧Q∧P∧~S〕∨〔~R∧Q∧P∧S〕∨〔S∧Q∧R∧P〕。ii〕使公式〔P→〔Q∧RS〕〕取值0時(shí)的解釋所對(duì)應(yīng)的全部極大項(xiàng)為:~P∨~Q∨~R∨S由定理1.7,其主合取式為:~P∨~Q∨~R∨S?!鯾)等價(jià)變換法P((Q∧R)S)~P∨(~(Q∧R)∨S)~P∨~Q∨~R∨S-----主合取式〔~P∧〔~Q∨Q〕∧〔~R∨R〕∧〔~S∨S〕〕∨〔~Q∧〔~P∨P〕∧〔~R∨R〕∧〔~S∨S〕〕∨〔~R∧〔~P∨P〕∧〔~Q∨Q〕∧〔~S∨S〕〕∨〔S∧〔~P∨P〕∧〔~Q∨Q〕∧〔~R∨R〕〕------添加永真式〔~P∧~Q∧~R∧~S〕∨〔~P∧~Q∧~R∧S〕∨〔~P∧~Q∧R∧~S〕∨〔~P∧~Q∧R∧S〕∨〔~P∧Q∧~R∧~S〕∨〔~P∧Q∧~R∧S〕∨〔~P∧Q∧R∧~S〕∨〔~P∧Q∧R∧S〕∨〔~Q∧~P∧~R∧~S〕∨〔~Q∧~P∧~R∧S〕∨〔~Q∧~P∧R∧~S〕∨〔~Q∧~P∧R∧S〕∨〔~Q∧P∧~R∧~S〕∨〔~Q∧P∧~R∧S〕∨〔~Q∧P∧R∧~S〕∨〔~Q∧P∧R∧S〕∨〔~R∧~Q∧~P∧~S〕∨〔~R∧~Q∧~P∧S〕∨〔~R∧~Q∧P∧~S〕∨〔~R∧~Q∧P∧S〕∨〔~R∧Q∧~P∧~S〕∨〔~R∧Q∧~P∧S〕∨〔~R∧Q∧P∧~S〕∨〔~R∧Q∧P∧S〕∨〔S∧~Q∧~R∧~P〕∨〔S∧~Q∧~R∧P〕∨〔S∧~Q∧R∧~P〕∨〔S∧~Q∧R∧P〕∨〔S∧Q∧~R∧~P〕∨〔S∧Q∧~R∧P〕∨〔S∧Q∧R∧~P〕∨〔S∧Q∧R∧P〕------合并一樣的項(xiàng)〔~P∧~Q∧~R∧~S〕∨〔~P∧~Q∧~R∧S〕∨〔~P∧~Q∧R∧~S〕∨〔~P∧~Q∧R∧S〕∨〔~P∧Q∧~R∧~S〕∨〔~P∧Q∧~R∧S〕∨〔~P∧Q∧R∧~S〕∨〔~P∧Q∧R∧S〕∨〔~Q∧P∧~R∧~S〕∨〔~Q∧P∧~R∧S〕∨〔~Q∧P∧R∧~S〕∨〔~Q∧P∧R∧S〕∨〔~R∧Q∧P∧~S〕∨〔~R∧Q∧P∧S〕∨〔S∧Q∧R∧P〕------主析取式〔3〕等價(jià)變換法QUOTEQUOTEQUOTEQUOTEQUOTEQUOTE------------主析取式QUOTEQUOTEQUOTEQUOTE-----------主合取式13.解:〔1〕QUOTEQUOTEQUOTE---------不等價(jià)〔2〕QUOTEQUOTE------------等價(jià)14.解:由題設(shè)A:A去,B:B去,C:C去,D:D去則滿足條件的選派應(yīng)是如下式:QUOTE構(gòu)造和以上式等價(jià)的主析取式QUOTEQUOTEQUOTEQUOTEQUOTEQUOTEQUOTEQUOTEQUOTEQUOTEQUOTEQUOTEQUOTEQUOTEQUOTEQUOTEQUOTEQUOTEQUOTEQUOTEQUOTEQUOTEQUOTEQUOTEQUOTEQUOTEQUOTE共有八個(gè)極小項(xiàng),但根據(jù)題意,需派兩人出差,所以,只有其中三項(xiàng)滿足要求:QUOTE即有三種方案:A和C去或者A和D去或者B和D去。15.證:〔1〕由定理1.11,需證QUOTE為永真式QUOTEQUOTEQUOTEQUOTEQUOTE〔3〕由定理1.11,需證QUOTE為永真式QUOTEQUOTE16.證:〔1〕性質(zhì)1由定理1.11和“QUOTE〞的定義,QUOTE是永真式,所以QUOTE?!?〕性質(zhì)2由定理1.11,QUOTE是永真式,即QUOTE是永真式,由定理1.3,QUOTE成立?!?〕性質(zhì)3由定理1.11,QUOTE是永真式,又QUOTE是永真式,根據(jù)“QUOTE〞的定義,B必是永真式。17.證:“QUOTE〞QUOTE是永真式,QUOTEQUOTE“QUOTE〞因?yàn)樯鲜龅葍r(jià)式是可逆的,當(dāng)QUOTE,必有QUOTE。18.解:設(shè) P:珍寶藏在東廂房 Q:藏寶的房子靠近池塘 R:房子的前院栽有大柏樹(shù) S:珍寶藏在花園正中地下 T:后院栽有香樟樹(shù) M:珍寶藏在附近〔后院〕對(duì)語(yǔ)句符號(hào)化以后得到以下蘊(yùn)涵式:QUOTEQUOTEQUOTEQUOTEQUOTEQUOTEQUOTE所以S為真,即珍寶藏在花園正中地下。19.解:(1)不成立(P=0,Q=1)(2)不成立(P=1,Q=R=0)(3)不成立(P=0,Q=1)(4)不成立(P=0,Q=1,R=0)(5)不成立(P=1,Q=1,R=0)20.證:〔1〕利用CP規(guī)則①Q(mào)UOTE(附加前提規(guī)則)②QUOTE③QUOTE④QUOTE⑤QUOTE⑥QUOTE⑦QUOTECP規(guī)則①⑥〔2〕利用CP規(guī)則①Q(mào)UOTE(附加前提規(guī)則)②QUOTE③QUOTE④QUOTE⑤QUOTE⑥QUOTE⑦QUOTE⑧QUOTE⑨QUOTECP規(guī)則①⑧〔4〕〔反證法〕①Q(mào)UOTE(附加前提規(guī)則)②QUOTE③QUOTE④QUOTE⑤QUOTE⑥QUOTE⑦QUOTE⑧QUOTE⑨QUOTEeq\o\ac(○,10)QUOTEeq\o\ac(○,11)QUOTEQUOTEeq\o\ac(○,12)QUOTEQUOTEeq\o\ac(○,13)EQUOTEeq\o\ac(○,14)BQUOTEeq\o\ac(○,15)QUOTEQUOTEeq\o\ac(○,16)QUOTEeq\o\ac(○,17)FTeq\o\ac(○,15)eq\o\ac(○,16)21.(2)解:對(duì)原子命題符號(hào)化P:無(wú)任何痕跡Q:失竊時(shí),小花在OK廳R:失竊時(shí),小英在OK廳S:失竊時(shí),小胖在附近T:金剛是偷竊者M(jìn):瘦子是偷竊者前提:QUOTE結(jié)論:?推導(dǎo):①Q(mào)UOTEQUOTE②QUOTEQUOTE③QUOTE T①②EI④QUOTEQ

溫馨提示

  • 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。

評(píng)論

0/150

提交評(píng)論