1、利用真值表法求主析取范式及主合取范式的实现培训资料利用真值表法求主析取范式及主合取范式的实现实 验 报 告（ / 学年 第 一 学期）课程名称离散数学实验名称利用真值表法求主析取范式及主合取范式的实现实验时间年月日指导单位指导教师学生姓名班级学号学院(系)专 业 实 验 报 告实验名称利用真值表法求主析取范式及主合取范式的实现指导教师实验类型上机实验学时4实验时间一、 实验目的和要求能够列出合式公式的真值表并给出相应主析取范式和主合取范式。二、实验环境(实验设备)硬件:PC机。软件:Code:Blocks （C+ ）三、实验原理及内容 内容：编程实现用真值表法求任意含三个以内变量的合式公式的主
2、析取范式和主合取范式。 原理：首先读入变元个数，然后读入合式公式，用堆栈的知识将中缀表达式转化为后缀表达式，调用否定、析取、合取、条件、双条件的函数计算P、Q、R取不同真值时合式公式的真值，然后输出真值表，调用计算主析取范式和主合取范式的函数并输出。 程序：#include#include#include#includeusing namespace std;string OriginalForm; /原式string Hequ; /主合取范式string Xiqu; /主析取范式class SeqStack/建立一个堆栈，利用将中缀表达式转为后缀表达式public: SeqStack(int
3、 mSize); SeqStack(); char Top(); bool Push(char x); bool Pop();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;
4、st+top = x; return true;bool SeqStack:Pop() 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表示变元的个数SeqStack stack(200);void Not() /否定 a = stack.Top(); stack.Pop(); result = a = 1 ? 0 : 1; stack.Push(result);void Or() /析取 result = a + b;
5、result = result 1 ? 1 : result; stack.Push(result);void And() /合取 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)/优先级的判断 char in = stack.Top(); int i, o; s
6、witch(in) case #:i = 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 (:o = 12; break; case -:o = 2; break; case :o = 4; break; case |:o = 6; break; case
7、 &:o = 8; break; case !:o = 10; break; case ):o = 1; break; if(i o) return true; else return false;void InfixToPostfix()/中缀表达式转后缀表达式 string tmp = ; stack.Push(#); for(int i = 0; (unsigned)i OriginalForm.length(); i+) if(OriginalFormi = P | OriginalFormi = Q |OriginalFormi = R | OriginalFormi = S | O
8、riginalFormi = T | OriginalFormi = U) tmp=tmp+OriginalFormi; 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); st
9、ack.Push(OriginalFormi); while(stack.Top() != #) tmp = tmp + stack.Top(); stack.Pop(); stack.Pop(); OriginalForm = tmp;void Calculate()/计算主析取范式和主合取范式的函数 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;
10、 (unsigned)i :If(); break; case |:Or(); break; case &:And(); 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) + ) + | ;
11、 else Hequ = Hequ +( + (p = 0 ? P : !P) + | + (q= 0 ? Q : !Q) + | + (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 + ( + (
12、p =0 ? P : !P) + | + (q = 0 ? Q :!Q) + ) + & ; cout p t q t 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) SetConsoleTextAttr
13、ibute(GetStdHandle (STD_OUTPUT_HANDLE),FOREGROUND_INTENSITY |FOREGROUND_GREEN|FOREGROUND_BLUE); /设置绿色和蓝色相加(即青色) system(cls);/清屏 cout-endl; cout 欢迎使用！endlendl; cout ! 表示否定 endlendl; cout | 表示析取 endlendl; cout & 表示合取 endlendl; cout 表示条件 endlendl; cout - 表示双条件 endl; cout-endl; cout endl number;cout 请输入
14、合式公式：; 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; 开始输入变元个数流程图： N举例使用：四、实验小结（包括问题和解决方法、心得体会、意见与建议等） 刚开始思考如何写这个程序的时候，我不知道该如何处理输入进来的合式公式，在翻阅了数据结构书籍之后我才忽然反应过来，可以用堆栈的知识，将输入进来的中缀表达式转化为后缀表达式，这样就方便计算合式公式的真值了。这次离散数学实验中，我成功地将所学习得C+的编程知识和数据结构里的堆栈的知识运用了起来，虽然中途遇到了一些困难，但最终都很好地解决了。这次实验让我学会了利用编程语言来求主析取范式和主合取范式，更加深刻地理解了这两种范式，并且也让我对C、C+等编程语言有了更强的运用能力，让我明白了离散数学和编程知识是息息相关、密不可分的。以后我将更加认真学习离散数学，并且更多地将编程的知识运用起来。 五、指导教师评语 成 绩批阅人日 期
