1 #include <iostream>
2 #include <cstdio>
3 #include <cmath>
4 #include <cstring>
5 #include <algorithm>
6 #include <queue>
7 #include <stack>
8 #include <vector>
9 using namespace std;
10 stack<int>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 }
