构造任意合式公式的真值表.doc

构造任意合式公式的真值表 #include stdio.h #includethesis.h int main() { Thesis a[30]; char x=1; int i=0,N; cout请输入命题变元(不超过30个)(输入0结束输入):endl; while(int(x)!=48) { cinx; if(i19) {coutError:变元个数太多!endl;break;} if(x!=0) { a[i].inname(x); i++; } } N=i; int M; M=N; string A; cout请输入命题公式( 否定：！，合取：，析取：| )endl; cinA; coutA的真值表为：endl; for(int j=0;jM;j++) coutchar(a[j].getvalue()) ; cout真值endl; assignment(A,N,M,a[0]); system(pause); return 0; } #includethesis.h #ifndef THESIS_H #define THESIS_H #includestring #includestdlib.h #includeiostream 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.getvalue()); 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()==1q.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;} //获取命题名 }; 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;j2;j++) { a[N-1].invalue(j); if(N1) { assignment(A,N-1,M,a[0]); } else { for(int i=0;iM;i++) { couta[i].getvalue() ; } coutbds(A,M,a[0])endl; } } } int bds(string A,int N,Thesis a[]) //识别输入的表达式并计算真值 { Thesis answer,Temp; char d[5]={!,