一道非常恶心的模拟题。。。。
暴力枚举出所有情况,后缀式求值,如果求出假,就不是重言式。
#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");
}
}