构造任意合式公式的真值表(最新整理)

1、构造任意合式公式的真值表#include stdio.h #includethesis.h int main()thesis a30; char x=1; int i=0,n;cout请输入命题变元(不超过 30 个)(输入0结束输 入 ):x; if(i19)couterror:变元个数太多!endl;break;if(x!=0)ai.inname(x); i+;n=i;int m;m=n;string a;cout请输入命题公式( 否定：！，合取：&，析取：| )a;couta的真值表为：endl;for(int j=0;jm;j+) coutchar(aj.getvalue(); cou

2、t 真 值 endl; assignment(a,n,m,&a0);system(pause); return 0;#includethesis.h#ifndef thesis_h #define thesis_h #include#include #include using namespace std;class thesis/命题类int value;char name;/value:命题的真值（ 0/1） name：命题名public:thesis()value=2;name=a; friend thesis operator !(thesis &q)q.invalue(1-q.get

3、value(); return q;/重载逻辑运算符friend thesis operator &(thesis &p,thesis &q)p.invalue(p.getvalue()+q.getvalue()/2); return p; friend thesis operator |(thesis &p,thesis &q)if(p.getvalue()+q.getvalue()0) p.invalue(1); else p.invalue(0);return p;friend thesis operator (thesis &p,thesis &q)if(p.getvalue()=1&

4、q.getvalue()=0) p.invalue(0);else p.invalue(1);return p;friend thesis operator (thesis &p,thesis &q)if(p.getvalue()=q.getvalue()p.invalue(1); else p.invalue(0);return p;void invalue(int x)value=x;/ 输 入 value void inname(char x)name=x;/输入 name int getvalue()return value;/获取真值int getname()return name;

5、/获取命题名;void assignment(string a,int n,int m,thesis a);/声明函数int bds(string a,int n,thesis a);int run(string a,int &i,int l,int n,thesis a);void assignment(string a,int n,int m,thesis a)/命题赋值并计算真值for(int j=0;j1)assignment(a,n-1,m,&a0);elsefor(int i=0;im;i+)coutai.getvalue();coutbds(a,m,&a0),;/定义运算符号集合

6、int l;int i=0;l=strlen(&a0);/表达式长度while(il)if(ai=()int k=1;for(int j=i+2;jl;j+)if(k!=0)if(aj=() k+; if(aj=)k-;if(k=0)int l=j-i-1;char *p=new charl+1; string b;for(int m=0;ml;m+) pm=ai+1+m;pl=0;b=p;elsedelete p; temp.invalue(bds(b,n,&a0); if(i=0)answer.invalue(temp.getvalue(); i=j+1;break;if(ai=!)/否定

7、的计算temp.invalue(run(a,i,l,n,&a0); answer=!temp;i+;continue;else if(ai=|)temp.invalue(run(a,i,l,n,&a0); answer=answer|temp;i+;continue;else if(ai=&)temp.invalue(run(a,i,l,n,&a0); answer=answer&temp;i+;continue;else if(ai=)temp.invalue(run(a,i,l,n,&a0); answer=answer)temp.invalue(run(a,i,l,n,&a0); ans

8、wer=answertemp;i+;continue;elsefor(int j=0;jn;j+)if(ai=char(aj.getname()temp.invalue(aj.getvalue(); if(i=0)answer.invalue(temp.getvalue(); i+;break;return answer.getvalue();int run(string a,int &i,int l,int n,thesis a)thesis temp;if(ai+1=()int k=1;for(int j=i+2;jl;j+)if(k!=0)if(aj=() k+; if(aj=)k-;i

9、f(k=0)int l=j-i-1;char *p=new charl+1; string b;for(int m=0;ml-1;m+) pm=ai+2+m;pl-1=0;b=p;delete p;temp.invalue(bds(b,n,&a0); i=i+j;break;elseint j=0; while(jl)if(ai+1=char(aj.getname()i+;temp=aj; break;j+;return temp.getvalue();#endif“”“”at the end, xiao bian gives you a passage. minand once said,

10、people who learn to learn are very happy people. in every wonderful life, learning is an eternal theme. as a professional clerical and teaching position, i understand the importance of continuous learning, life is diligent, nothing can be gained, only continuous learning can achieve better self. only by constantly learning and mastering the latest relevant knowledge, can employees from all walks of life keep up with the pace of enterprise development and innovate to meet