版權(quán)說(shuō)明:本文檔由用戶(hù)提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、1.判別下列公式哪些是合式公式,哪些不是,合式公式。,a)(Q→R∧S);,b)(P←→(R→S));,c)((|P→Q)→(Q→P)));,d)(RS→K);,e)((P→(Q→R))→((P→Q)→(P→R)));,答:,a)是合式公式。,b)是合式公式。,c)不是合式公式。(最后面多了個(gè)括號(hào)),d)不是合式公式。(R 和 S 之間沒(méi)有聯(lián)結(jié)詞),e)是合式公式,2.根據(jù)定義,說(shuō)明下列公式如何形成合式公,標(biāo)準(zhǔn)的場(chǎng)面是把一壺水酒燒開(kāi)了,
2、桌上每人一杯,滾燙的水酒在,式。,a)(A→(A∨B));,b)((|A∧B)∧A);,c)((|A→B)∨(B→A));,答:,a)由合式公式的定義中的規(guī)定(1)A、B 本身是一個(gè)合式公式;由規(guī)定(3)(A∨B)是一個(gè)合式,公式;由規(guī)定(4)再次應(yīng)用(3)可得式(A→(A∨B);,b)由合式公式定義規(guī)定(1)A、B 本身各是一合式公式;由規(guī)定(2)|A 是一合式公式;由規(guī)定(4)應(yīng)用(3)得(|A∧B)是一合式公
3、式;再應(yīng)用(3)得原式是一個(gè)合式公式。,c)由合式公式定義規(guī)定(1)A、B 本身各是一合式公式;由規(guī)定(2)|A 是一合式公式;由規(guī)定(3)(|A→B)、(B→A)各是合式公式;由規(guī)定(4),標(biāo)準(zhǔn)的場(chǎng)面是把一壺水酒燒開(kāi)了,桌上每人一杯,滾燙的水酒在,應(yīng)用(3)得到的式子為合式公式。,3.設(shè) P、Q 的真值為 0;R、S 的真值為 1;求,下列各命題公式的真值。,a)P∨(Q∧R);,b)(P←→R)∧(|Q∨S);,c)
4、(P∧(Q∨R))→((P∨Q)∧(R∧S));,d)|(P∨(Q→(R∧|P)))→(R∨|S).,答案:,a)0,b)0,c)1,d)1.,5.試以真值表證明下列命題。,a)合取運(yùn)算的結(jié)合律是 P∧(Q∧R)=(P∧Q),標(biāo)準(zhǔn)的場(chǎng)面是把一壺水酒燒開(kāi)了,桌上每人一杯,滾燙的水酒在,∧R;真值表如下:最后兩列的值完全相等,因此可證明合取運(yùn)算結(jié)合律正確。,(答案及點(diǎn)評(píng)),PQRP∧QQ∧RP∧(Q∧R)(P∧Q)∧R,0000000
5、,0010000,0100000,0110100,1000000,1010000,1101000,1111111,b)析取運(yùn)算的結(jié)合律;(答案及點(diǎn)評(píng))b)析取運(yùn)算的結(jié)合律是 P∨(Q∨R)=(P∨Q)∨R;真值表,標(biāo)準(zhǔn)的場(chǎng)面是把一壺水酒燒開(kāi)了,桌上每人一杯,滾燙的水酒在,如下:最后兩列的值完全相等,因此可證明析取運(yùn)算結(jié)合律正確。,PQRP∨QQ∨RP∨(Q∨R)(P∨Q)∨R,0000000,0010111,0101111,0
6、111111,1001011,1011111,1101111,1111111,c)合取(∧)對(duì)析取(∨)之分配律,(答案及點(diǎn)評(píng))c)見(jiàn)下表:可證:P∧(Q∨R)=(P∧Q)∨(P∧R),標(biāo)準(zhǔn)的場(chǎng)面是把一壺水酒燒開(kāi)了,桌上每人一杯,滾燙的水酒在,PQR(Q∨R)P∧QP∧RP∧(Q∨R)(P∧Q)∨(P,∧R),00000000,00110000,01010000,01110000,10000000,10110111,110110
7、11,11111111,d)德摩根律。(答案及點(diǎn)評(píng))d)此律公式為|(P∨Q)=|P∧|Q;|(P∧Q)=|P∨|Q,現(xiàn)取前者證明,真值表如下:,PQP∨Q|P|Q|(P∨Q)|P∧|Q,標(biāo)準(zhǔn)的場(chǎng)面是把一壺水酒燒開(kāi)了,桌上每人一杯,滾燙的水酒在,0001111,0111000,1010100,1110000,6 下表為含有兩上變?cè)拿}公式的各種情況真值表,對(duì)于每一列試寫(xiě)出一個(gè)至多包含此兩個(gè)變?cè)拿}公式。,PQ123
8、45678910111213141516,TTFFFFFFFFTTTTTTTT,TFFFFFTTTTFFFFTTTT,FTFFTTFFTTFFTTFFTT,FFFTFTFTFTFTFTFTFT,答案(答案不唯一,以下僅供參考):,·1.(|P∧P),標(biāo)準(zhǔn)的場(chǎng)面是把一壺水酒燒開(kāi)了,桌上每人一杯,滾燙的水酒在,·2.|(P∨Q),·3.|(Q→P),·4.|P,·5.|(P→Q),·
9、;6.|Q,·7.|(P←→Q),·8.|(Q∧P),·16.(|P∨P),·15.(P∨Q),·14.(Q→P),·13.P,·12.P→Q,·11.Q,·10.P←→Q,標(biāo)準(zhǔn)的場(chǎng)面是把一壺水酒燒開(kāi)了,桌上每人一杯,滾燙的水酒在,·9.P∧Q,自考需要堅(jiān)持,為自己加油!自考離散數(shù)學(xué)02324 課后答案(共 5 篇)上一篇:1.2 章
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶(hù)所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫(kù)僅提供信息存儲(chǔ)空間,僅對(duì)用戶(hù)上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶(hù)上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶(hù)因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 自考2324離散數(shù)學(xué)第三章課后答案
- 離散數(shù)學(xué)自考第一章課后習(xí)題和答案
- 自考離散數(shù)學(xué)02324真題含答案(2009.4-2016.4年整理版)
- 離散數(shù)學(xué)第2章第1節(jié)
- 離散數(shù)學(xué)課后答案
- 自考離散數(shù)學(xué)課件
- 離散數(shù)學(xué)及其應(yīng)用-傅彥-課后答案
- 離散數(shù)學(xué)課后習(xí)題
- 離散數(shù)學(xué)屈婉玲版課后答案
- 離散數(shù)學(xué)第1章習(xí)題答案
- 離散數(shù)學(xué)第1章習(xí)題課
- 屈婉玲版離散數(shù)學(xué)課后習(xí)題答案2
- 離散數(shù)學(xué)a答案
- 離散數(shù)學(xué)古天龍14章答案
- 離散數(shù)學(xué)課件第2章
- 離散數(shù)學(xué)答案
- 離散數(shù)學(xué)答案
- 離散數(shù)學(xué) 2
- 離散數(shù)學(xué)最全課后答案屈婉玲版
- 離散數(shù)學(xué)及其應(yīng)用(第6版)課后答案
評(píng)論
0/150
提交評(píng)論