离散数学实验报告-利用真值表法求主析取范式及主合取范式的实现

《离散数学实验报告-利用真值表法求主析取范式及主合取范式的实现》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、实验报告（/学年第一学期）课程名称离散数学实验名称利用真值表法求主析取范式及主合取范式的实现实验时间年月日指导单位指导教师学生姓名班级学号学院(系)专业21实验报告实验名称利用真值表法求主析取范式及主合取范式的实现指导教师实验类型上机实验学时4实验时间一、实验目的和要求能够列出合式公式的真值表并给出相应主析取范式和主合取范式。二、实验环境(实验设备)硬件:PC机。软件:Code::Blocks（C++）三、实验原理及内容内容：编程实现用真值表法求任意含三个以内变量的合式公式的主析取范式和主合取范式

2、。原理：首先读入变元个数，然后读入合式公式，用堆栈的知识将中缀表达式转化为后缀表达式，调用否定、析取、合取、条件、双条件的函数计算P、Q、R取不同真值时合式公式的真值，然后输出真值表，调用计算主析取范式和主合取范式的函数并输出。21程序：#include#include#include#includeusingnamespacestd;stringOriginalForm;//原式stringHequ;//主合取范式str

3、ingXiqu;//主析取范式classSeqStack//建立一个堆栈，利用将中缀表达式转为后缀表达式{public:SeqStack(intmSize);~SeqStack();charTop();boolPush(charx);boolPop();private:char*st;inttop;intmaxtop;};21SeqStack::SeqStack(intmSize){maxtop=mSize-1;top=-1;st=newchar[mSize];}SeqStack::~SeqSta

4、ck(){delete[]st;}charSeqStack::Top(){returnst[top];}boolSeqStack::Push(charx){if(top==maxtop)returnfalse;st[++top]=x;returntrue;}boolSeqStack::Pop()21{if(top==-1)returnfalse;top--;returntrue;}intp,q,r,s,t,u;inta,b,result;intv=0;intnumber;//用number表示变元

5、的个数SeqStackstack(200);voidNot()//否定{a=stack.Top();stack.Pop();result=a==1?0:1;stack.Push(result);}voidOr()//析取{result=a+b;21result=result>1?1:result;stack.Push(result);}voidAnd()//合取{result=a*b;stack.Push(result);}voidIf()//条件,b->a{result=(b==1&&a==0)

6、?0:1;stack.Push(result);}voidDoubleif()//双条件{result=(b==a)?1:0;stack.Push(result);}boolCanIn(charout)//优先级的判断{charin=stack.Top();inti,o;21switch(in){case'#':i=0;break;case'(':i=1;break;case'-':i=3;break;case'>':i=5;break;case'

7、':i=7;break;case'&':i=9;

8、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'

9、':o=6;break;case'&':o=8;break;case'!':o=10;break;case')':o=1;break;}21if(i

10、oPostfix()//中缀表达式转后缀表达式{stringtmp="";stack.Push('#');for(inti=0;(unsigned)i

11、

12、OriginalForm[i]=='Q'

13、

14、OriginalForm[i]=='R'

15、

16、OriginalForm[i]=='S'

17、

18、OriginalForm[i]=='T'

19、

20、OriginalForm[i]=='U'){tmp=t