poj3295

来源：互联网发布：摇钱树网吧计费软件编辑：程序博客网时间：2024/05/22 10:28
#include<iostream>#include<cstring>#include<stack>using namespace std;int K(int w,int x)//各逻辑判断实现 {if(w==1&&x==1)return 1;return 0;}int A(int w,int x){if(w==0&&x==0)return 0;return 1;}int N(int w){return !w;}int C(int w,int x){if(w==1&&x==0)return 0;return 1;}int E(int w,int x){if(w==x)return 1;return 0;}int judge(char *a)//暴力枚举 {stack<int>s1;int i,n,p,q,r,s,t,temp1,temp2;n=strlen(a);for(p=0;p<2;p++)for(q=0;q<2;q++)for(r=0;r<2;r++)for(s=0;s<2;s++)for(t=0;t<2;t++){for(i=n-1;i>-1;i--){if(a[i]=='p'){s1.push(p);}else if(a[i]=='q'){s1.push(q);}else if(a[i]=='r'){s1.push(r);}else if(a[i]=='s'){s1.push(s);}else if(a[i]=='t'){s1.push(t);}else if(a[i]=='N'){temp1=s1.top();s1.pop();s1.push(N(temp1));}else{temp1=s1.top();s1.pop();temp2=s1.top();s1.pop();if(a[i]=='K'){s1.push(K(temp1,temp2));}else if(a[i]=='A'){s1.push(A(temp1,temp2));}else if(a[i]=='C'){s1.push(C(temp1,temp2));}else{s1.push(E(temp1,temp2));}}}temp1=s1.top();s1.pop();if(!temp1)return 0;}return 1;}int main(){char a[100];while(scanf("%s",a)&&a[0]!='0'){if(judge(a))printf("tautology\n");elseprintf("not\n");}}
0 0