重言式判定------参考了别人的代码。。

#include<iostream>
using namespace std;
struct Arr
{
char letter;
int weight;
};
class Cys
{
public:
Cys();
void GetTautology();//输入表达式
int _CreateT(int ,int );//虚拟创建二叉树
int FindMin(int ,int );//找到weight最小的
int count();  //计算可满足式的值
void _recursion(Arr *_arr,int i );//递归，穷举
void recursion();//使用接口函数
void Print();//输出结果
~Cys();//析构释放空间
private:
int num;
Arr *array;
Arr _arr[20]; //存放字母
int _arrNum;
int trueforever;
int falseforever;
};

Cys::Cys()
{
trueforever=0;
falseforever=0;
array=new Arr[20];
for(int i=0;i<20;i++){
array[i].weight-1;
array[i].letter='0';
}
_arrNum=0;
num=0;
}
void Cys::GetTautology()
{
int has[27]={0};
int weight=0;
char ch;
cout<<"请输入一个逻辑表达式,以#结束"<<endl;
while(cin>>ch  && ch!='#')
{

if(ch==' ')
continue;

switch(ch)
{
case '(':
weight+=4;
break;
case ')':
weight-=4;
break;
case '&':
array[num].letter=ch;
array[num++].weight=weight+2;
break;
case '|':
array[num].letter=ch;
array[num++].weight=weight+1;
break;
case '~':
array[num].letter=ch;
array[num++].weight=weight+3;
break;
default:
array[num].letter=ch;
if(!has[array[num].letter-'A']){
_arr[_arrNum++].letter=array[num].letter;
has[array[num].letter-'A']=1;
}
array[num++].weight=0;
break;
}

}
}
int Cys:: FindMin(int low,int high)
{
int min=low;
while(!array[min].weight)
min++;

if(min<high){
for(int i=min;i<high+1;i++)
if(array[i].weight && array[i].weight<array[min].weight)
min=i;
return min;
}
else
return 0;

}

int Cys::_CreateT(int low,int high)
{
int Min=0;
// cout<<"create"<<endl;
if(low>high)
return 1;
else if(low==high)
{
// cout<<"letter"<<array[low].letter<<endl;
int i;
for(i=0;_arr[i].letter!=array[low].letter;i++);//从array[]中寻找与_arr[]中相同的字母
return _arr[i].weight;//返回它的weight（1或0）
}
else{
Min=FindMin(low,high);
//cout<<"array[Min].letter: "<<array[Min].letter;
switch(array[Min].letter){
case '&': return( _CreateT(low,Min-1)&& _CreateT(Min+1,high));
break;
case '|': return( _CreateT(low,Min-1)|| _CreateT(Min+1,high));
break;
case '~': return(!_CreateT(Min+1,high));
break;
}
}
}
int Cys:: count() //计算可满足式的值
{
int i=0;
cout<<"请给字母赋值"<<endl;
while(_arrNum--){
cout<<_arr[i].letter;
cin>>_arr[i++].weight;
}
if(_CreateT(0,num-1))
trueforever++;
else
falseforever++;

}

void Cys::_recursion(Arr _arr[],int i)//递归调用
{
if(i<_arrNum){
_arr[i].weight=0;
// cout<<"0"<<endl;
_recursion(_arr,i+1);
_arr[i].weight=1;
// cout<<"1"<<endl;
_recursion(_arr,i+1);
}
else
if(!trueforever||!falseforever)
{
switch(_CreateT(0,num-1))
{
case 1:
// cout<<"trueforever++;"<<endl;
trueforever++;
break;
case 0:
// cout<<"falseforever++;"<<endl;
falseforever++;
break;
default :
break;
}
}
}

void Cys::Print()
{  if(trueforever && falseforever)//如果真假同时存在就判断它为 satisfactible.
cout<<"satisfactible."<<endl;
else if(!trueforever)
cout<<"falseforever."<<endl;
else
cout<<"trueforever. "<<endl;
}

void Cys::recursion()
{
_recursion(_arr,0);
}

Cys::~Cys()
{
delete[] array;
}

int main()
{
cout<<"-------------------重言式判别--------------------"<<endl;
Cys cys;
char c;
cys.GetTautology();
cout<<"计算机穷举请按't' or 用户赋值请按'n'"<<endl;
cin>>c;
if(c=='t')
cys.recursion();//穷举
else
cys.count();//赋值
cys.Print();
system("pause");
return 0;
}