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

构造任意合式公式的真值表
#include "stdio.h"
#include"thesis.h"
int main()
{
Thesis a[30];
char x='1';
int i=0,N;
cout<<"请输入命题变元(不超过30个)(输入'0'结束输入):"<<endl;
while(int(x)!=48)
{
cin>>x;
if(i>19)
{cout<<"Error:变元个数太多!"<<endl;break;}
if(x!='0')
{
a[i].inname(x);
i++;
}
}
N=i;
int M;
M=N;
string A;
cout<<"请输入命题公式( 否定：！，合取：&，析取：| )"<<endl;
cin>>A;
cout<<A<<"的真值表为："<<endl;
for(int j=0;j<M;j++)
cout<<char(a[j].getvalue())<<" ";
cout<<"真值"<<endl;
assignment(A,N,M,&a[0]);
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 //命题类
{
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()==1&&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;} //获取命题
名
};
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;j<2;j++)
{
a[N-1].invalue(j);
if(N>1)
{
assignment(A,N-1,M,&a[0]);
}
else
{
for(int i=0;i<M;i++)
{
cout<<a[i].getvalue()<<" ";
}
cout<<bds(A,M,&a[0])<<endl;
}
}
}
int bds(string A,int N,Thesis a[]) //
识别输入的表达式并计算真值
{
Thesis answer,Temp;
char d[5]={'!','|','&','>','<'}; //定义运算符号集合
int L;
int i=0;
L=strlen(&A[0]); //表达式长度
while(i<L)
{
if(A[i]=='(')
{
int k=1;
for(int j=i+2;j<L;j++)
{
if(k!=0)
{
if(A[j]=='(')
k++;
if(A[j]==')')
k--;
}
if(k==0)
{
int l=j-i-1;
char *p=new char[l+1];
string B;
for(int m=0;m<l;m++)
p[m]=A[i+1+m];
p[l]='\0';
B=p;
delete p;
Temp.invalue(bds(B,N,&a[0]));
if(i==0)
answer.invalue(Temp.getvalue());
i=j+1;
break;
}
}
}
else
{
if(A[i]=='!') //否定的计算
{
Temp.invalue(run(A,i,L,N,&a[0]));
answer=!Temp;
i++;
continue;
}
else if(A[i]=='|')
{
Temp.invalue(run(A,i,L,N,&a[0]));
answer=answer|Temp;
i++;
continue;
}
else if(A[i]=='&')
{
Temp.invalue(run(A,i,L,N,&a[0]));
answer=answer&Temp;
i++;
continue;
}
else if(A[i]=='<')
{
Temp.invalue(run(A,i,L,N,&a[0]));
answer=answer<Temp;
i++;
continue;
}
else if(A[i]=='>')
{
Temp.invalue(run(A,i,L,N,&a[0]));
answer=answer>Temp;
i++;
continue;
}
else
{
for(int j=0;j<N;j++)
{if(A[i]==char(a[j].getname()))
{
Temp.invalue(a[j].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(A[i+1]=='(')
{
int k=1;
for(int j=i+2;j<L;j++)
{
if(k!=0)
{
if(A[j]=='(')
k++;
if(A[j]==')')
k--;
}
if(k==0)。