//为什么这个程序WA

#include<cstdio>
#include<cctype>

int var[6];//p,q,r,s,t
char *head,WFF[105];

bool expr()
{
	char c=*head;head++;
	if (islower(c))return var[c-'p'];
	if (c=='K')
	{
		bool b=expr();
		return b && expr();
	}else if (c=='A')
	{
		bool b=expr();
		return b || expr();
	}else if (c=='N')
	{
		return !expr();
	}else if (c=='C')
	{
		bool b=expr();
		return !b || expr();
	}else if (c=='E')
	{
		bool b=expr();
		return !(b ^ expr());
	}
}

int main()
{
	while(scanf("%s",WFF)==1 && WFF[0] != '0')
	{
		bool zero=false,one=false;
		for (var[0]=0;var[0]<2;var[0]++)
			for (var[1]=0;var[1]<2;var[1]++)
				for (var[2]=0;var[2]<2;var[2]++)
					for (var[3]=0;var[3]<2;var[3]++)
						for (var[4]=0;var[4]<2;var[4]++)
						{
							head=WFF;
							if(expr())one=true;
							else zero=true;
						}
		printf(one && !zero ? "tautology\n":"not\n");
	}
	return 0;
}