![利用真值表法求主析取范式及主合取范式的實現(xiàn)_第1頁](http://file3.renrendoc.com/fileroot_temp3/2022-1/4/5c851022-e5e4-4342-a585-ebf964beb745/5c851022-e5e4-4342-a585-ebf964beb7451.gif)
![利用真值表法求主析取范式及主合取范式的實現(xiàn)_第2頁](http://file3.renrendoc.com/fileroot_temp3/2022-1/4/5c851022-e5e4-4342-a585-ebf964beb745/5c851022-e5e4-4342-a585-ebf964beb7452.gif)
![利用真值表法求主析取范式及主合取范式的實現(xiàn)_第3頁](http://file3.renrendoc.com/fileroot_temp3/2022-1/4/5c851022-e5e4-4342-a585-ebf964beb745/5c851022-e5e4-4342-a585-ebf964beb7453.gif)
![利用真值表法求主析取范式及主合取范式的實現(xiàn)_第4頁](http://file3.renrendoc.com/fileroot_temp3/2022-1/4/5c851022-e5e4-4342-a585-ebf964beb745/5c851022-e5e4-4342-a585-ebf964beb7454.gif)
![利用真值表法求主析取范式及主合取范式的實現(xiàn)_第5頁](http://file3.renrendoc.com/fileroot_temp3/2022-1/4/5c851022-e5e4-4342-a585-ebf964beb745/5c851022-e5e4-4342-a585-ebf964beb7455.gif)
版權說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權,請進行舉報或認領
文檔簡介
1、實驗報告/學年第一學期課程名稱離散數(shù)學實驗名稱 利用真值表法求主析取范式及主合取范式的實現(xiàn)實驗時間年 月 日指導單位指導教師學生姓名班級學號學院系專業(yè)實驗報告實驗名稱利用真值表法求主析取范式及指導教師主合取范式的實現(xiàn)實驗類型 上機實驗學時4實驗時間一、實驗目的和要求能夠列出合式公式的真值表弁給出相應主析取范式和主合取范 式.、實驗環(huán)境(實驗設備)硬件:PC機.軟件:Code:Blocks(C+ )三、實驗原理及內(nèi)容內(nèi)容,編程實現(xiàn)用真值表法求任意含三個以內(nèi)變量的合式公式的主板取 范式和主合取范式._遮理,首先讀入變元仝數(shù)" 教后讀入合式公或,一用堆棧的初識將由綴表_ _ 達式轉(zhuǎn)化為后綴
2、表達式,調(diào)用否認、析取、合取、條件、雙條件的函數(shù)計算 R_ _ R取不同真值時合式公式的真值一然后輸出真值表.調(diào)用二比算主折取 范式和主合取范式的函數(shù)并輸出.程序:#include<iostream>#include<string>#include<>#include<>using namespace std;string OriginalForm; /原式string Hequ; 主合取范式string Xiqu; /主析取范式class _SeqStack/_建立二仝堆棧,利用接電綴表達式轉(zhuǎn)為后綴表達式public:SeqStack(int
3、mSize);-SeqStack();_char TopO;_bool Push(char x);bool Pop(),_private:一.char 為t;int top;int maxtop;);SeqSiack二SeqSiack(jnt mSjze)(maxtop = mSize - 1;top = -1;st = new charmSize;)SeqStack二SeqStack()(deletest;)char SeqStack:Top()(return sttop;)booL SeqStack:;Pus.h(char x).(_ _ _if(top. = maxtop)_return
4、 false;_ _ _st+top_=_ x;return true;)bool SeqStack:Pop()t ' T - TX if(top = -1)return false;top-;return true;)int p, q, r, s, t, u;int a, b, result;int v =0;int number;/ 用number表示變元的個數(shù)SeqStack stack(200);void Not./ 否認(a =();_();_result = a = 1 0 : 1;(result)j)vojd_Qr()/航取.(result = a + b;_ _ _re
5、suli_= .result _> _1 _ 1二 result;(result);)void And() / 合取(result = a * b;(result);)void If() / 條件,b->a(result = (b = 1 && a = 0) 0 : 1;(result);)Void_Doub!eifO_ _/雙條件result = (b = a) 1 : 0;(result)j)booL CanLn(char .out)/級的光順 _(char in =();int i, o;_ _ _switch(in)case '#':i =
6、0; break;case '(':i = 1; break;case '-':i = 3; break;case '>':i = 5; break;case '|':i = 7; break;case '&':i = 9; break;case '!':i = 11; break;case ')':i = 12; break;switch(out)case '#':o = 0; break;case :Cg = 12l break;case '
7、-':o = 2; break;case :>9 三 4; break;case '|':o = 6; break;case :&:o = 8; .break;case '!':o = 10; break;case '),:o = 1; break;_ _if(i < o_ return true;elsereturn false;)void InfixToPostfix()/中綴表達式轉(zhuǎn)后綴表達式(string tmp =""('#'); IM MM for(int i = 0; (uns
8、igned)i <(); i+)if(OriginalFormi= 'P'| OriginalFormi = 'Q|OriginalFormi = 'R' | OriginalFormi = 'S' | OriginalFormi ='T' | OriginalFormi = 'U')_tmp=tmp+OriginalFormi;continue;if(CanLn(Origin.alEormiJ)(OriginalFormi);else if(OriginalFormi=')')whi
9、leQ一旦1Q(tmp = tmp + ();();)();)else(dotmp = tmp _+_();_(); while(!CanIn(OriginalFormi);(OrigjnalFormi) - while() != '#')_tmp = tmp + ();();();OriginalForm = tmp;)void Calculate()/計算主析取范式和主合取范式的函數(shù)(if(number = 3)(for(int i = 0; (unsigned)i <(); i+)(if(OriginalFormi= 'P'| OriginalFor
10、mi'Q'| OriginalFormi = 'R')v= OriginalFormi ='P' pOriginalFormi= 'Q' q : r;3continue;lif(OriginalFormi != !')£a =(); WK* Bl();b =();(); )switch(OriginalFormi)(case '-':Doubleif(); break;case '>':If(); break;case '|':Or(); break;case
11、 '&':And(); break;case '!':Not(); break; )if(number = 2)=.'Q')for(int i 三 0.;_(.unsigned)j w(X j+) - jf(Origina.iFormij=_'P' _ U _ QdginalFormLilv _=_Origin.alFormIi_= E'_p _:_q;(v);continue;jf(OrigjnaJFDrmi _!=,Qa =();();b =();();)switch(OriginalFormi)case
12、39;-':Doubleif(); break;case '>':If(); break;case '|':Or(); break;case '&':And(); break;case '!':Not(); break;)vojd_PrLnt()(if(number = 3)coUL<< "PAt"_ <<"Qt:'_<< "Rt" << :Z:'_<< endl4 for(p = 1
13、; p >= 0; p-)(for(q = 1; q >= 0; q-)(for(r = 1; r >= 0; r-)(Calculate();if(result = 1)Xiqu =Xiqu +"(" + (p = 1 "P" : "!P") +"&" +(q = 1 "Q" : "Q)+ "&"+ (r = 1 "R" : "!R") + ")" + " |
14、" elseHequ = Hequ +"(" + (p = 0 "P" : "!P")+ |" + (q= 0 "Q" : "!Q") + "|"+ (r = 0 "R" : "!R") + ")" + " & "cout<<_p_ <<"t" _<< q _<<_"t" _<
15、<_ r _«"、t"_ _ << result << endl;)_ _ _if(number 三=_2)(cout << "Pt" <<"Qt" << "Z" << endl;for(p = 1; p >= 0; p-)(for(q = 1; q >= 0; q-)(Calculate.;if(result = 1)Xiqu =Xiqu + "("+ (p = 1 "P"
16、: "!P") + "&"+ (q = 1 "Q" : "!Q") + ")" + " | "elseHequ= Hequ + "(" + (p =0 "P" : "!P") + "|"+ (q = 0 "Q" :"!Q") + ")" + " & "cout<< p <<&qu
17、ot;t" << q << "t" << result << endl;_ c.Qut<<endl;_if() != 0)()-2);if() != 0)_ Q-2Zcout << "主析取范式:"<<Xiqu << endl << endl;cout << "主合取范式:"<< Hequ << endl << endl;)int main()(int flag=1;wh
18、ile(flag=1)SetConsoleTextAttribute(GetStdHandle(STD_OUTPUT_HANDLE),FOREGROUNDJNTENSITYFOREGROUND GREEN|FOREGROUND BLUE);_設置綠色和藍色相加.(一即青魚)system(".clsl');/S 屏一cout<<""<<endl;cout_<<'_熬迎使用-L'wendEwendK.cout_<<_ " J_表示杳定"_<<_ endl<&l
19、t;.endlL_coul_<<_'llzt 析取",<<_ endl<<.endlL_coul_<<_ " &一表示合取"_<<_ endl<<endlcout_<<_ " >_表示條件"_<<_ endl<<endl;_cout_<<_ "二_表示雙住 _"_<< endl;_cout<<""<<endl;cout <<endl<< "輸入你的變元數(shù)目:"cin >> number;cout<<"請輸入合式公式:"switch(number)(case2:cout << endl <<"變元請用 P、Q表示"<< endl <<endl; break;case3:cout << endl &l
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經(jīng)權益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責。
- 6. 下載文件中如有侵權或不適當內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 社區(qū)孤獨癥患者關懷的個人方法計劃
- 分配任務與跟進進度的秘書工作計劃
- 品牌資產(chǎn)與市場風險的關聯(lián)研究計劃
- 全面提升團隊績效的年度規(guī)劃計劃
- 強化職能部門之間的配合計劃
- 如何選擇合適的品牌推廣渠道計劃
- 2025年物位儀項目建議書
- 2025年數(shù)字貨幣金融項目發(fā)展計劃
- 2025年瀝青試驗儀器項目發(fā)展計劃
- 新員工入職引導及工作流程簡明教程
- 二年級乘除法口訣專項練習1000題-推薦
- 貸款項目資金平衡表
- 高標準農(nóng)田建設項目監(jiān)理日志
- [整理]10kv開關站標準設計說明(最終版)
- 分級診療制度管理辦法
- 義務教育語文課程標準2022年版
- 公務員入職登記表
- 九年級新目標英語單詞表默寫最新版
- 臨水臨電計算公式案例
- 2022新教科版六年級科學下冊第二單元《生物的多樣性》全部教案(共7節(jié))
- PEP人教版小學英語單詞四年級上冊卡片(可直接打印)
評論
0/150
提交評論