1 #include 
     
        2 #include 
      
         3 #include 
       
          4 #include 
        
           5 #include 
         
            6 #include 
          
            7 #include 
           
             8 #include 
            
              9 using namespace std; 10 stack
             
              z; 11 int p,q,r,s,t,len,flag; 12 char a[250]; 13 int fun() 14 { 15 for(int i=len-1;i>=0;i--) 16 { 17 if(a[i]=='p') 18 z.push(p); 19 else if(a[i]=='q') 20 z.push(q); 21 else if(a[i]=='r') 22 z.push(r); 23 else if(a[i]=='s') 24 z.push(s); 25 else if(a[i]=='t') 26 z.push(t); 27 else if(a[i]=='A') 28 { 29 int k1=z.top(); 30 z.pop(); 31 int k2=z.top(); 32 z.pop(); 33 int k3=k1||k2; 34 z.push(k3); 35 } 36 else if(a[i]=='K') 37 { 38 int k1=z.top(); 39 z.pop(); 40 int k2=z.top(); 41 z.pop(); 42 int k3=k1&&k2; 43 z.push(k3); 44 } 45 else if(a[i]=='N') 46 { 47 int k1=z.top(); 48 z.pop(); 49 int k3=!k1; 50 z.push(k3); 51 } 52 else if(a[i]=='C') 53 { 54 int k1=z.top(); 55 z.pop(); 56 int k2=z.top(); 57 z.pop(); 58 int k3=(!k1)||k2; 59 z.push(k3); 60 } 61 else if(a[i]=='E') 62 { 63 int k1=z.top(); 64 z.pop(); 65 int k2=z.top(); 66 z.pop(); 67 if(k1==k2) 68 z.push(1); 69 else 70 z.push(0); 71 } 72 } 73 if(z.top()==0) 74 return 1; 75 return 0; 76 } 77 int check() 78 { 79 for(p=0;p<2;p++) 80 { 81 for(q=0;q<2;q++) 82 { 83 for(r=0;r<2;r++) 84 { 85 for(s=0;s<2;s++) 86 { 87 for(t=0;t<2;t++) 88 { 89 if(fun()) 90 { 91 flag=1; 92 printf("not\n"); 93 return 0; 94 } 95 } 96 } 97 } 98 } 99 }100 return 1;101 }102 int main(int argc, char *argv[])103 {104 105 while(gets(a))106 {107 if(a[0]=='0')108 break;109 len=strlen(a);110 flag=0;111 check();112 if(!flag)113 printf("tautology\n");114 }115 return 0;116 }