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

1、 WORD 21/21實 驗 報 告（ / 學(xué)年 第 一 學(xué)期）課程名稱離散數(shù)學(xué)實驗名稱利用真值表法求主析取式與主合取式的實現(xiàn)實驗時間年月日指導(dǎo)單位指導(dǎo)教師學(xué)生班級學(xué)號學(xué)院(系)專 業(yè) 實 驗 報 告實驗名稱利用真值表法求主析取式與主合取式的實現(xiàn)指導(dǎo)教師實驗類型上機實驗學(xué)時4實驗時間實驗?zāi)康暮鸵竽軌蛄谐龊鲜焦降恼嬷当聿⒔o出相應(yīng)主析取式和主合取式。二、實驗環(huán)境(實驗設(shè)備)硬件:PC機。軟件:Code:Blocks（C+ ）三、實驗原理與容容：編程實現(xiàn)用真值表法求任意含三個以變量的合式公式的主析取式和主合取式。 原理：首先讀入變元個數(shù)，然后讀入合式公式，用堆棧的知識將中綴表達式轉(zhuǎn)化為后綴表達式

2、，調(diào)用否定、析取、合取、條件、雙條件的函數(shù)計算P、Q、R取不同真值時合式公式的真值，然后輸出真值表，調(diào)用計算主析取式和主合取式的函數(shù)并輸出。程序：#include#include#include#includeusing namespace std;string OriginalForm; /原式string Hequ; /主合取式string Xiqu; /主析取式class SeqStack/建立一個堆棧，利用將中綴表達式轉(zhuǎn)為后綴表達式public: SeqStack(int mSize); SeqStack(); char Top(); bool Push(char x); bool P

3、op();private: char *st; int top; int maxtop;SeqStack:SeqStack(int mSize) maxtop = mSize - 1; top = -1; st = new charmSize;SeqStack:SeqStack() deletest;char SeqStack:Top() return sttop;bool SeqStack:Push(char x) if(top = maxtop) return false; st+top = x; return true;bool SeqStack:Pop() if(top = -1) r

4、eturn 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 = stack.Top(); stack.Pop(); result = a = 1 ? 0 : 1; stack.Push(result);void Or() /析取 result = a + b; result = result 1 ? 1 : result; stack.Push(result);void An

5、d() /合取 result = a * b; stack.Push(result);void If() /條件,b-a result = (b = 1 & a = 0) ? 0 : 1; stack.Push(result);void Doubleif() /雙條件 result = (b = a) ? 1 : 0; stack.Push(result);bool CanIn(char out)/優(yōu)先級的判斷 char in = stack.Top(); int i, o; switch(in) case #:i = 0; break; case (:i = 1; break; case -

6、: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 (:o = 12; break; case -:o = 2; break; case :o = 4; break; case |:o = 6; break; case &:o = 8; break; case !:o = 10; break; case ):o = 1; break

7、; if(i o) return true; else return false;void InfixToPostfix()/中綴表達式轉(zhuǎn)后綴表達式 string tmp = ; stack.Push(#); for(int i = 0; (unsigned)i OriginalForm.length(); i+) if(OriginalFormi = P | OriginalFormi = Q |OriginalFormi = R | OriginalFormi = S | OriginalFormi = T | OriginalFormi = U) tmp=tmp+OriginalForm

8、i; continue; if(CanIn(OriginalFormi) stack.Push(OriginalFormi); else if(OriginalFormi = ) while(stack.Top() != () tmp = tmp + stack.Top(); stack.Pop(); stack.Pop(); else do tmp = tmp + stack.Top(); stack.Pop(); while(!CanIn(OriginalFormi); stack.Push(OriginalFormi); while(stack.Top() != #) tmp = tmp

9、 + stack.Top(); stack.Pop(); stack.Pop(); OriginalForm = tmp;void Calculate()/計算主析取式和主合取式的函數(shù) if(number = 3) for(int i = 0; (unsigned)i :If(); break; case |:Or(); break; case &:And(); break; case !:Not(); break; if(number = 2) for(int i = 0; (unsigned)i :If(); break; case |:Or(); break; case &:And();

10、 break; case !:Not(); break; void Print() if(number = 3) cout Pt Qt Rt Z = 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) + ) + | ; else Hequ = Hequ +( + (p = 0 ? P : !P) + | + (q= 0 ? Q : !Q

11、) + | + (r = 0 ?R : !R) + ) + & ; cout p t q t r t result endl; if(number = 2) cout Pt Qt Z = 0; p-) for(q = 1; q = 0; q-) Calculate(); if(result = 1) Xiqu =Xiqu + (+ (p = 1 ? P : !P) + & + (q = 1 ?Q : !Q) + ) + | ; else Hequ = Hequ + ( + (p =0 ? P : !P) + | + (q = 0 ? Q :!Q) + ) + & ; cout p t q t

12、result endl; coutendl; if(Xiqu.length() != 0) Xiqu.erase(Xiqu.length() - 2); if(Hequ.length() != 0) Hequ.erase(Hequ.length() - 2);cout 主析取式：Xiqu endl endl; cout 主合取式： Hequ endl endl;int main()int flag=1; while(flag=1) SetConsoleTextAttribute(GetStdHandle (STD_OUTPUT_HANDLE),FOREGROUND_INTENSITY |FOR

13、EGROUND_GREEN|FOREGROUND_BLUE); /設(shè)置綠色和藍色相加(即青色) system(cls);/清屏 coutendl; cout 歡迎使用！endlendl; cout ! 表示否定 endlendl; cout | 表示析取 endlendl; cout & 表示合取 endlendl; cout 表示條件 endlendl; cout - 表示雙條件 endl; coutendl; cout endl number;cout 請輸入合式公式：; switch(number) case 2:cout endl 變元請用P、Q表示 endl endl; break; case 3:cout endl 變元請用P、Q、R表示 endl str; OriginalForm=str; InfixToPostfix(); Print(); coutendlflag; return 0; 流程圖：開始輸入變元個數(shù)輸入合式公式輸出真值表計算主析取范式和主合取范式輸出主析取范式和主合取范式Y(jié)是否繼續(xù)使用（Y/N） N退出程序舉例使用：四、實驗小結(jié)（包括問題和解決方法、心得體會、意見與建議等）剛開始思考如何寫這個程序的時候，我不知道該如何處理輸入進來的合式公式，在翻閱了數(shù)據(jù)結(jié)構(gòu)書籍之后我才忽然反應(yīng)過來，可以用堆棧的知識，將輸入進來的中綴表達式轉(zhuǎn)化為后綴表達式，這樣