1、構(gòu)造任意合式公式的真值表#include "stdio.h"#include"thesis.h"int main()(Thesis a30;char x='1'int i=0,N;cout<<"請(qǐng)輸入命題變?cè)?不超過(guò)30個(gè))(輸入'0'結(jié) 束輸入):"<<endl;while(int(x)!=48)(cin>>x;if(i>19)cout<<"Error:變 元 個(gè) 數(shù) 太多!<<endl;break;if(x!='0&

2、#39;)ai.inname(x);i+;)N=i;int M;M=N;string A;cout<<"請(qǐng)輸入命題公式(否認(rèn)：！)合?。?amp;,析取:| )"<<endl;cin>>A;cout<<A<<"的真值表為："<<endl;for(int j=0;j<M;j+)cout<<char(aj.getvalue()<<""cout<<"真值"<<endl;assignment(A,N

3、,M,&a0);system("pause");return 0;)#include"thesis.h"#ifndef THESIS_H#define THESIS_H#include<string>#include<stdlib.h>#include<iostream>using namespace std;class Thesis /命題類(lèi)(int value;char name; /value: 命題 的真值(0/1 ) name:命題名public:Thesis()value=2;name='A

4、'friend Thesis operator !(Thesis &q)q.invalue(1-q.getvalue();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.

5、invalue(0);return p;friend Thesis operator >(Thesis &p,Thesis &q)if(p.getvalue()=1&&q.getvalue()=0)p.invalue(0);else p.invalue(l);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(intx)

6、value=x;/輸入valuevoid inname(char x)name=x;輸入nameint getvalue()return value; /獲取真值int getname()return name; /獲取命題名;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,Thesisa)/命題賦值

7、并計(jì)算真值(for(int j=0;j<2;j+)(aN-1.invalue(j);if(N>1)(assignment(A,N-1,M,&a0); else(for(int i=0;i<M;i+)(cout<<ai.getvalue()<<""cout<<bds(A,M,&a0)<<endl;/int bds(string A,int N,Thesis a)識(shí)別輸入的表達(dá)式并計(jì)算真值(Thesis answer,Temp;定義char d5='!','|',&

8、#39;&','>','<'/運(yùn)算符號(hào)集合int L;int i=0;L=strlen(&A0); 表達(dá)式長(zhǎng)度while(i<L)if(Ai='(')int k=1;for(int j=i+2;j<L;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;m<l;m+) pm=Ai+1+m;pl='0'B

9、=p;delete p;Temp.invalue(bds(B,N,&a0);if(i=0)answer.invalue(Temp.getvalue();i=j+1;break;else(if(Ai='!') / (否認(rèn)的計(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='&')T

10、emp.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;i+;continue;elsefor(int j=0;j<N;j+)if(Ai=char(aj.ge

11、tname()(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;j<L;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;m<l-1;m+) pm=Ai+2+m;pl