POJ3295Tautology

来源：互联网发布：js判断chrome浏览器编辑：程序博客网时间：2024/06/01 09:12

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

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

#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");elseprintf("not\n");}}

0 0