POJ3295Tautology

一道非常恶心的模拟题。。。。

暴力枚举出所有情况，后缀式求值，如果求出假，就不是重言式。

#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<cstdlib>
#include<algorithm>
#include<stack>
using namespace std;
int a[30][7],p,q,r,s,t;
char WWF[110];
stack<int>S;
void mklist()
{
	int j=0;
	for(int i1=1;i1>-1;i1--)
		for(int i2=1;i2>-1;i2--)
			for(int i3=1;i3>-1;i3--)
				for(int i4=1;i4>-1;i4--)
					for(int i5=1;i5>-1;i5--)
					{
						//printf("%d %d %d %d %d\n",i1,i2,i3,i4,i5);
						a[j][0]=i1;
						a[j][1]=i2;
						a[j][2]=i3;
						a[j][3]=i4;
						a[j][4]=i5;
						j++;
					}
	//printf("%d\n",j);
	//for(int i=0;i<32;i++)
	//	printf("%d %d %d %d %d\n",a[i][0],a[i][1],a[i][2],a[i][3],a[i][4]);
}
bool isval(char ch)
{
	switch(ch)
	{
		case 'p': S.push(p);return true; 
		case 'q': S.push(q);return true;
		case 'r': S.push(r);return true;
		case 's': S.push(s);return true;
		case 't': S.push(t);return true;
	}
	return false;

}
void op(char ch)
{
	switch(ch)
	{
		case 'K':
		{
			int x=S.top();
			S.pop();
			int y=S.top();
			S.pop();
			S.push(x&&y);
			break;
		}
		case 'A':
		{
			int x=S.top();
			S.pop();
			int y=S.top();
			S.pop();
			S.push(x||y);
			break;
		}
		case 'C':
		{
			int x=S.top();
			S.pop();
			int y=S.top();
			S.pop();
			S.push((!x)||y);
			break;
		}
		case 'E':
		{
			int x=S.top();
			S.pop();
			int y=S.top();
			S.pop();
			S.push(x==y);
			break;
		}
		case 'N':
		{
			int x=S.top();
			S.pop();
			S.push(!x);
			break;
		}
	}
	return;

}
bool ju(char st[])
{
	int len=strlen(st);
	//bool flag=true;
	for(int i=0;i<32;i++)
	{
		p=a[i][0];
		q=a[i][1];
		r=a[i][2];
		s=a[i][3];
		t=a[i][4];
		for(int i=len-1;i>=0;i--)
		{
			if(!isval(st[i]))
				op(st[i]);

		}
		int ans=S.top();
		S.pop();
		if(ans==0)
		{
			//flag=false;
			return false;
		}

	}
	return true;

}
int main()
{
	mklist();
	while(scanf("%s",WWF)&&(WWF[0]!='0'))
	{
		if(ju(WWF))
			printf("tautology\n");
		else
			printf("not\n");

	}

}