離散數(shù)學(xué)實(shí)驗(yàn)一：命題邏輯(1)

1、離散數(shù)學(xué)實(shí)驗(yàn)報(bào)告1【實(shí)驗(yàn)題目】實(shí)驗(yàn)一 命題邏輯（1）2【實(shí)驗(yàn)?zāi)康摹渴煜ふ莆彰}邏輯中的聯(lián)接詞，實(shí)現(xiàn)二元合取、析取、蘊(yùn)涵和等價(jià)表達(dá)式的計(jì)算，熟悉連接詞邏輯運(yùn)算規(guī)則，利用程序語(yǔ)言實(shí)現(xiàn)其邏輯運(yùn)算。3【實(shí)驗(yàn)內(nèi)容】從鍵盤(pán)輸入兩個(gè)命題變?cè)狿和Q的真值，求它們的合取、析取、條件和雙條件的真值。4. 【實(shí)驗(yàn)要求】通過(guò)以下界面提示實(shí)現(xiàn)相應(yīng)邏輯運(yùn)算，給出具體邏輯值*請(qǐng)輸入變量命題P和Q的值（1或0）：請(qǐng)選擇（15）要進(jìn)行的邏輯運(yùn)算：1. 合取運(yùn)算（PQ）2. 析取運(yùn)算（PQ）3. 條件運(yùn)算（PQ）4. 雙條件運(yùn)算（PQ）5. 繼續(xù)/退出（y/n）*5. 【算法描述】1. 合取運(yùn)算（PQ），P、Q同真時(shí)為真，其余為

2、假。2. 析取運(yùn)算（PQ），P、Q同假時(shí)為假，其余為真。3. 條件運(yùn)算（PQ），P為真，Q為假時(shí)，為假，其余為真。4. 雙條件運(yùn)算（PQ），P、Q同真同假是為真。6. 【源程序（帶注釋?zhuān)?include<iostream>#include<stdlib.h>using namespace std;class mathchar p,q;int result;public:math(char x,char y);int pdp(char x);int pdq(char y);hequ(char x,char y,int t);xiqu(char x,char y,int

3、t);tiaojian(char x,char y,int t);shuangtiaojian(char x,char y,int t);caidan();/判斷p是否為1或0int math:pdp(char x)int a;p=x;if(x!='0'&&x!='1')/cout<<"錯(cuò)誤"<<endl;a=0;cin.clear();cin.sync();return a;/判斷q是否為1或0int math:pdq(char y)q=y;int a;if(y!='0'&&a

4、mp;y!='1')/cout<<"錯(cuò)誤"<<endl;a=0;cin.clear();cin.sync();return a;math:math(char x,char y)p=x;q=y;/*if(x!='0'&&x!='1')cout<<"錯(cuò)誤"<<endl;else if(y!='0'&&y!='1')cout<<"錯(cuò)誤"<<endl;*/合取運(yùn)

5、算math:hequ(char x,char y,int t)p=x;q=y;result=t;if(x='1'&&y='1') t=1;else t=0;cout<<"真值為:"<<t<<"，請(qǐng)繼續(xù)選擇菜單功能:"/析取運(yùn)算math:xiqu(char x,char y,int t)p=x;q=y;result=t;if(x='0'&&y='0') t=0;else t=1;cout<<"真值為:&q

6、uot;<<t<<"，請(qǐng)繼續(xù)選擇菜單功能:"/條件運(yùn)算math:tiaojian(char x,char y,int t)p=x;q=y;result=t;if(x='1'&&y='0') t=0;else t=1;cout<<"真值為:"<<t<<"，請(qǐng)繼續(xù)選擇菜單功能:"/雙條件運(yùn)算math:shuangtiaojian(char x,char y,int t)p=x;q=y;result=t;if(x=y) t=1;els

7、e t=0;cout<<"真值為:"<<t<<"，請(qǐng)繼續(xù)選擇菜單功能:"/邏輯運(yùn)算菜單math:caidan()cout<<"1.合取運(yùn)算（PQ）"<<endl;cout<<"2.析取運(yùn)算（PQ）"<<endl;cout<<"3.條件運(yùn)算（PQ）"<<endl;cout<<"4.雙條件運(yùn)算（PQ）"<<endl;cout<<"

8、;5.退出/繼續(xù)"<<endl;cout<<"請(qǐng)選擇（1-5）要進(jìn)行的邏輯運(yùn)算："void main()char x='0',y='0',n,n2;int t;cout<<"請(qǐng)輸入變量命題P和Q的值（1或0）"<<endl;math math1(x,y);loop:cin.clear();cin.sync();/判斷P、Q的輸入是否正確cout<<"輸入P:"x=cin.get();while(math1.pdp(x)=0)cout&

9、lt;<"輸入錯(cuò)誤，重新輸入P:"x=cin.get();cout<<"輸入Q:"y=cin.get();while(math1.pdq(y)=0)cout<<"輸入錯(cuò)誤，重新輸入Q:"y=cin.get();math1.caidan();/判斷菜單選項(xiàng)while(n)switch(n=cin.get()case '1':math1.hequ(x,y,t);break;case '2':math1.xiqu(x,y,t);break;case '3':mat

10、h1.tiaojian(x,y,t);break;case '4':math1.shuangtiaojian(x,y,t);break;case '5':cin.clear();cin.sync();cout<<"y/n:"loop2: /判斷是否退出switch(n2=cin.get()case 'y':exit(0);break;case 'n':goto loop;break;default:cin.clear();cin.sync();cout<<"輸入錯(cuò)誤，請(qǐng)重新選擇y/n:"goto loop2;break; break;default:cin.clear();cin.sync();cout<<"輸入錯(cuò)誤，請(qǐng)重新選擇菜單!"<<endl;goto loop;break;cin.clear();ci