利用真值表法求主析取范式及主合取范式的实现.docx

实验报告（ / 学年第一学期）课程名称离散数学实验名称利用真值表法求主析取范式及主合取范式的实现实验时间年月日指导单位指导教师学生姓名班级学号学院(系)专业实验报告实验名称利用真值表法求主析取范式及主合取范式的实现指导教师实验类型上机实验学时4实验时间实验目的和要求能够列出合式公式的真值表并给出相应主析取范式和主合取范式。二、实验环境(实验设备)硬件:PC机。软件:Code::Blocks（C++ ）三、实验原理及内容内容：编程实现用真值表法求任意含三个以内变量的合式公式的主析取范式和主合取范式。原理：首先读入变元个数，然后读入合式公式，用堆栈的知识将中缀表达式转化为后缀表达式，调用否定、析取、合取、条件、双条件的函数计算P、Q、R取不同真值时合式公式的真值，然后输出真值表，调用计算主析取范式和主合取范式的函数并输出。程序：#includeiostream#includestring#includeconio.h#includewindows.husing namespace std;string OriginalForm; //原式string Hequ; //主合取范式string Xiqu; //主析取范式class SeqStack//建立一个堆栈，利用将中缀表达式转为后缀表达式{public: SeqStack(int 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 char[mSize];}SeqStack::~SeqStack(){ delete[]st;}char SeqStack::Top(){ return st[top];}bool SeqStack::Push(char x){ if(top == maxtop) return false; 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; 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; switch(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