离散数学实验报告(一).doc

《离散数学实验报告(一).doc》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、一、实验内容：构造任意合式公式的真值表二、实验源码：#include#include"thesis.h"intmain(){Thesisa[30];charx='1';inti=0,N;cout<<"请输入命题变元(不超过30个)(输入'0'结束输入):"<>x;if(i>19){cout<<"Error:变元个数太多!"<

2、取：

3、)"<>A;cout<#include#includeusingnamespacestd;classThesis

4、//命题类{intvalue;charname;//value:命题的真值（0/1）name：命题名public:Thesis(){value=2;name='A';};friendThesisoperator!(Thesis&q){q.invalue(1-q.getvalue());returnq;}//重载逻辑运算符friendThesisoperator&(Thesis&p,Thesis&q){p.invalue((p.getvalue()+q.getvalue())/2);returnp;}friendThesisoperator

5、(Thesis&p,Thesis&q)

6、{if(p.getvalue()+q.getvalue()>0)p.invalue(1);elsep.invalue(0);returnp;}friendThesisoperator>(Thesis&p,Thesis&q){if(p.getvalue()==1&&q.getvalue()==0)p.invalue(0);elsep.invalue(1);returnp;}friendThesisoperator<(Thesis&p,Thesis&q){if(p.getvalue()==q.getvalue())p.invalue(1);elsep.invalue(0);retu

7、rnp;}voidinvalue(intx){value=x;}//输入valuevoidinname(charx){name=x;}//输入nameintgetvalue(){returnvalue;}//获取真值intgetname(){returnname;}//获取命题名};voidassignment(stringA,intN,intM,Thesisa[]);//声明函数intbds(stringA,intN,Thesisa[]);intrun(stringA,int&i,intL,intN,Thesisa[]);voidassignment(stringA,intN

8、,intM,Thesisa[])//命题赋值并计算真值{for(intj=0;j<2;j++){a[N-1].invalue(j);if(N>1){assignment(A,N-1,M,&a[0]);}else{for(inti=0;i

9、','&','>','<'};//定义运算符号集合intL

10、;inti=0;L=strlen(&A[0]);//表达式长度while(i