利用真值表法求主析取范式及主合取范式的實現(xiàn)

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