構(gòu)造任意合式公式的真值表(最新整理)

1、構(gòu)造任意合式公式的真值表#include stdio.h #includethesis.h int main()thesis a30; char x=1; int i=0,n;cout請(qǐng)輸入命題變?cè)?不超過 30 個(gè))(輸入0結(jié)束輸 入 ):x; if(i19)couterror:變?cè)獋€(gè)數(shù)太多!endl;break;if(x!=0)ai.inname(x); i+;n=i;int m;m=n;string a;cout請(qǐng)輸入命題公式( 否定：！，合?。?，析?。簗 )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;/重載邏輯運(yùn)算符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);/聲明函數(shù)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)/命題賦值并計(jì)算真值for(int j=0;j1)assignment(a,n-1,m,&a0);elsefor(int i=0;im;i+)coutai.getvalue();coutbds(a,m,&a0),;/定義運(yùn)算符號(hào)集合

6、int l;int i=0;l=strlen(&a0);/表達(dá)式長(zhǎng)度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、的計(jì)算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