從鍵盤輸入兩個(gè)命題變元P和Q的真值

1、長治學(xué)院離散數(shù)學(xué)實(shí)驗(yàn)報(bào)告專業(yè)：計(jì)算機(jī)科學(xué)與技術(shù)班級：計(jì)科1202班學(xué)號：12407237姓名：武文超組另1：1指導(dǎo)老師：李艷玲2013.11.302013.12.21目錄一、實(shí)驗(yàn)?zāi)康?二、算法思想3三、流程圖4四、實(shí)驗(yàn)結(jié)果（截圖）5五、程序代碼7六、總結(jié)10一、實(shí)驗(yàn)?zāi)康谋緦?shí)驗(yàn)課程是信息專業(yè)學(xué)生的一門專業(yè)基礎(chǔ)課程， 通過實(shí)驗(yàn)， 幫助學(xué)生更好 地掌握計(jì)算機(jī)科學(xué)技術(shù)常用的離散數(shù)學(xué)中的概念、 性質(zhì)和運(yùn)算； 通過實(shí)驗(yàn)提高學(xué) 生編寫實(shí)驗(yàn)報(bào)告、 總結(jié)實(shí)驗(yàn)結(jié)果的能力；使學(xué)生具備程序設(shè)計(jì)的思想，能夠獨(dú)立 完成簡單的算法設(shè)計(jì)和分析。熟悉掌握合取、析取、蘊(yùn)涵和等價(jià)，進(jìn)一步能用它們來解決實(shí)際問題。二、算法思想1.從鍵

2、盤輸入兩個(gè)命題變元P和Q的真值，求它們的合取、析取、蘊(yùn)含和 等價(jià)的真值。(1) 合?。憾}聯(lián)結(jié)詞。將兩個(gè)命題 P、Q聯(lián)結(jié)起來，構(gòu)成一個(gè)新的命 題PA Q,讀作P、Q的合取,也可讀作P與Q這個(gè)新命題的真值與構(gòu)成它的命 題P、Q的真值間的關(guān)系為只有當(dāng)兩個(gè)命題變項(xiàng) P = T, Q= T時(shí)方可PA Q =T,而 P、Q只要有一為F則PA Q= F。這樣看來，PA Q可用來表示日常用語P與Q,或 P 并且 Q。(2) 析?。憾}聯(lián)結(jié)詞。將兩個(gè)命題 P、Q聯(lián)結(jié)起來，構(gòu)成一個(gè)新的命 題PV Q,讀作P、Q的析取,也可讀作P或Q這個(gè)新命題的真值與構(gòu)成它的命 題P、Q的真值間的關(guān)系為只有當(dāng)兩個(gè)命題變項(xiàng)

3、 P = F, Q= F時(shí)方可PV Q =F,而 P、Q只要有一為T則PV Q = T。這樣看來，PV Q可用來表示日常用語P或者Q。(3) 蘊(yùn)含：二元命題聯(lián)結(jié)詞。將兩個(gè)命題 P、Q聯(lián)結(jié)起來，構(gòu)成一個(gè)新的命 題P-Q,讀作P條件Q,也可讀作如果P,那么Q。這個(gè)新命題的真值與構(gòu)成它 的命題P、Q的真值間的關(guān)系為只有當(dāng)兩個(gè)命題變項(xiàng) P = T, Q= F時(shí)方可P-Q=F, 其余均為 T。(4) 等價(jià)：二元命題聯(lián)結(jié)詞。將兩個(gè)命題 P、Q聯(lián)結(jié)起來，構(gòu)成一個(gè)新的命 題P Q,讀作P雙條件于Q這個(gè)新命題的真值與構(gòu)成它的命題 P、Q的真值 間的關(guān)系為當(dāng)兩個(gè)命題變項(xiàng) P = T, Q =T時(shí)方可P Q =T,

4、其余均為F三、流程圖:求合取、析取、蘊(yùn)含件 和等價(jià)的真值流程圖四、實(shí)驗(yàn)結(jié)果（截圖）進(jìn)入界面正確運(yùn)算結(jié)果歡迎來到邏輯運(yùn)負(fù)軟井pAq-o析職PVQ=1P >Q-0Ji Jk割介匕P<->Q=0是否堆續(xù)運(yùn)算Press anr key o go in t-inuc錯(cuò)誤控制和輸入正確后退出歡迎菜到邏輯運(yùn)負(fù)軟禪pAq-o 析職 pyo=lP >Q-0 割加P<->Q=0區(qū)否維續(xù)運(yùn)算fP*ress ankey o continue畑或亠以回豐結(jié)束:丄 個(gè)或 m 回*結(jié)東汨五、程序代碼#include <stdio.h>int a,b; char c; void

5、 menu(); void shuru(); void yunsuan(); int main()menu(); yunsuan();return 0;void shuru()printf(" 請輸入P的值(0或1),以回車結(jié)束："); scanf("%d",&a);printf(" 請輸入Q的值(0或1),以回車結(jié)束:");scanf("%d",&b);void menu()printf("*n");printf("*歡迎來到邏輯運(yùn)算軟件*n");print

6、f("'*n");printf("*n");printf("'*n");printf("n");void yunsuan()shuru();while(a!=1 | a!=0) &&(b!=1 | b!=0) )if(a=1 | a=0) && (b=1 | b=0) break;printf(" 輸入錯(cuò)誤，重新輸入 n"); shuru();if(a=0 && b=0)printf("合取:n");printf

7、("PA Q=0n");printf("析取：n");printf("PV Q=0n");printf("蘊(yùn)含:n");printf("P->Q=1n");printf("等價(jià)：n");printf("P<->Q=1n");if(a=0 && b=1) printf("合?。簄");printf(" PA Q=0n");printf(" 析取 :n");print

8、f(" PV Q=1n");printf(" 蘊(yùn)含 :n");printf(" P->Q=1n");printf("等價(jià) :n");printf(" P<->Q=0n");if(a=1 && b=0)printf("合取 :n");printf("P A Q=On");printf("析取 :n");printf("P V Q=1n");printf("蘊(yùn)含 :n"

9、;);printf(" P->Q=On");printf("等價(jià) :n");printf(" P<->Q=On");if(a=1 && b=1)printf("合取：n");printf("PA Q=1n");printf("析?。簄");printf("PV Q=1n");printf("蘊(yùn)含:n");printf("P->Q=1n");printf("等價(jià)：n&q

10、uot;);printf("P<->Q=1n");printf(" 是否繼續(xù)運(yùn)算？ (y/n)n");scanf("%c",&c);if(c='y')yun sua n();elsereturn;六、總結(jié)用連詞人把幾個(gè)公式連接起來而構(gòu)成的公式叫做合取，而此合取式的每個(gè)組成部分叫做合取項(xiàng)。一些合適公式所構(gòu)成的任一合取也是一個(gè)合取公式。形式為“p并且q”的復(fù)合命題，其中p和q都是命題并且叫做合取支。在 命題演算中，合取式被符號化為“ p?q”，“pAq”或者“p&q”。若把它當(dāng)做真 值函項(xiàng)，“p

11、并且q”為真當(dāng)且僅當(dāng)p和q中每一個(gè)都真；如果有一個(gè)合取支為 假，或兩個(gè)合取支都假，則該合取式為假。我們可以從前提p和前提q推出結(jié)論 “p并且q”，這叫做“合取規(guī)則”或“合取引入”。我們也可以從前提“p 并 且q”推出結(jié)論p或者推出結(jié)論q，這叫做“合取消除”。合取式還可以把多于 兩個(gè)的陳述組合在一起，如果能夠斷定所有這些陳述的話。用連詞V把幾個(gè)公式連接起來所構(gòu)成的公式叫做析取，而此析取式的每一組成部分叫做析取項(xiàng)。由一些合適公式所構(gòu)成的任一析取也是一個(gè)合適公式。在邏輯中，蘊(yùn)涵（imply）是用在更弱的定義下。說復(fù)合命題 A=>B為真可簡 單地?cái)嘌裕喝鬉為真，那么B也為真。換句話說，A=>B只是說不會(huì)同時(shí)有A真 與B假，而不是說在通常意義下的 A “引起” B。特別的，若A為假，那么對任 何B,A=>B均為真。該命題容易使人誤解，因?yàn)椴淮嬖谌魏瓮緩绞沟妹} A可能 對命題B產(chǎn)生任何結(jié)果。對于兩個(gè)命題A,B，如果A? B且B? A,則稱命題A,B等價(jià).記作A? B.若關(guān) 系R在集合A中是自反、對稱和傳遞的，則稱 R為A上的等價(jià)關(guān)系。所謂關(guān)系R 就是笛卡爾積 AX A中的一個(gè)子集。通過這次實(shí)驗(yàn)，我學(xué)到了很多知識，離散數(shù)學(xué)、數(shù)據(jù)結(jié)構(gòu)等。經(jīng)過一個(gè)學(xué)期 的學(xué)習(xí)，我對離散數(shù)學(xué)這門課程有了很大的了解。這次的實(shí)驗(yàn)讓我對自己的專業(yè)也有了更進(jìn)一步的了解