欢迎来到天天文库
浏览记录
ID:57413583
大小:302.00 KB
页数:27页
时间:2020-08-16
《利用真值表法求主析取范式及主合取范式地实现.doc》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、实验报告(/学年第一学期)课程名称离散数学实验名称利用真值表法求主析取范式及主合取范式的实现实验时间年月日指导单位指导教师学生姓名班级学号学院(系)专业实验报告实验名称利用真值表法求主析取范式及主合取范式的实现指导教师实验类型上机实验学时4实验时间一、实验目的和要求能够列出合式公式的真值表并给出相应主析取范式和主合取范式。二、实验环境(实验设备)硬件:PC机。软件:Code::Blocks(C++)三、实验原理及内容内容:编程实现用真值表法求任意含三个以内变量的合式公式的主析取范式和主合取范式。原理:首先读入变元个数,然后读入合式公式,用堆栈的
2、知识将中缀表达式转化为后缀表达式,调用否定、析取、合取、条件、双条件的函数计算P、Q、R取不同真值时合式公式的真值,然后输出真值表,调用计算主析取范式和主合取范式的函数并输出。程序:#include#include#include#includeusingnamespacestd;stringOriginalForm;//原式stringHequ;//主合取范式stringXiqu;//主析取范式classSeqStack//建立一个堆栈,利用将中缀表达式转为后缀表达式
3、{public:SeqStack(intmSize);~SeqStack();charTop();boolPush(charx);boolPop();private:char*st;inttop;intmaxtop;};SeqStack::SeqStack(intmSize){maxtop=mSize-1;top=-1;st=newchar[mSize];}SeqStack::~SeqStack(){delete[]st;}charSeqStack::Top(){returnst[top];}boolSeqStack::Push(charx){
4、if(top==maxtop)returnfalse;st[++top]=x;returntrue;}boolSeqStack::Pop(){if(top==-1)returnfalse;top--;returntrue;}intp,q,r,s,t,u;inta,b,result;intv=0;intnumber;//用number表示变元的个数SeqStackstack(200);voidNot()//否定{a=stack.Top();stack.Pop();result=a==1?0:1;stack.Push(result);}voidOr
5、()//析取{result=a+b;result=result>1?1:result;stack.Push(result);}voidAnd()//合取{result=a*b;stack.Push(result);}voidIf()//条件,b->a{result=(b==1&&a==0)?0:1;stack.Push(result);}voidDoubleif()//双条件{result=(b==a)?1:0;stack.Push(result);}boolCanIn(charout)//优先级的判断{charin=stack.Top();i
6、nti,o;switch(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;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'
8、':o=6;break;case'&':
9、o=8;break;case'!':o=10;break;case')':o=1;break;}if(i10、11、OriginalForm[i]=='Q'12、13、OriginalForm[i]=='R'14、15、OriginalFo16、rm[i]=='S'17、18、OriginalForm[i]=='T'19、20、OriginalForm[i]=='U'){tmp=tmp+OriginalFor
10、
11、OriginalForm[i]=='Q'
12、
13、OriginalForm[i]=='R'
14、
15、OriginalFo
16、rm[i]=='S'
17、
18、OriginalForm[i]=='T'
19、
20、OriginalForm[i]=='U'){tmp=tmp+OriginalFor
此文档下载收益归作者所有