離散數(shù)學實驗一：命題邏輯(1)

1、離散數(shù)學實驗報告1【實驗題目】實驗一 命題邏輯（1）2【實驗目的】熟悉掌握命題邏輯中的聯(lián)接詞，實現(xiàn)二元合取、析取、蘊涵和等價表達式的計算，熟悉連接詞邏輯運算規(guī)則，利用程序語言實現(xiàn)其邏輯運算。3【實驗內容】從鍵盤輸入兩個命題變元P和Q的真值，求它們的合取、析取、條件和雙條件的真值。4. 【實驗要求】通過以下界面提示實現(xiàn)相應邏輯運算，給出具體邏輯值*請輸入變量命題P和Q的值（1或0）：請選擇（15）要進行的邏輯運算：1. 合取運算（PQ）2. 析取運算（PQ）3. 條件運算（PQ）4. 雙條件運算（PQ）5. 繼續(xù)/退出（y/n）*5. 【算法描述】1. 合取運算（PQ），P、Q同真時為真，其余為

2、假。2. 析取運算（PQ），P、Q同假時為假，其余為真。3. 條件運算（PQ），P為真，Q為假時，為假，其余為真。4. 雙條件運算（PQ），P、Q同真同假是為真。6. 【源程序（帶注釋）】#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<<"錯誤"<<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<<"錯誤"<<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<<"錯誤"<<endl;else if(y!='0'&&y!='1')cout<<"錯誤"<<endl;*/合取運

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<<"，請繼續(xù)選擇菜單功能:"/析取運算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<<"，請繼續(xù)選擇菜單功能:"/條件運算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<<"，請繼續(xù)選擇菜單功能:"/雙條件運算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<<"，請繼續(xù)選擇菜單功能:"/邏輯運算菜單math:caidan()cout<<"1.合取運算（PQ）"<<endl;cout<<"2.析取運算（PQ）"<<endl;cout<<"3.條件運算（PQ）"<<endl;cout<<"4.雙條件運算（PQ）"<<endl;cout<<"

8、;5.退出/繼續(xù)"<<endl;cout<<"請選擇（1-5）要進行的邏輯運算："void main()char x='0',y='0',n,n2;int t;cout<<"請輸入變量命題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;<"輸入錯誤，重新輸入P:"x=cin.get();cout<<"輸入Q:"y=cin.get();while(math1.pdq(y)=0)cout<<"輸入錯誤，重新輸入Q:"y=cin.get();math1.caidan();/判斷菜單選項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<<"輸入錯誤，請重新選擇y/n:"goto loop2;break; break;default:cin.clear();cin.sync();cout<<"輸入錯誤，請重新選擇菜單!"<<endl;goto loop;break;cin.clear();ci