AC代码如下：

自己想了个方法，思路错了，结果跪了一晚上。。55555555555555555555555

最后还是用大神的方法水过！！！

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;

char str[10010];
int i,j;

bool solve()
{
    bool t;
    switch(str[j++])
    {
        case 'p':return (i & 1);break;//这种二进制枚举比较抽象，值得研究
        case 'q':return (i & 2);break;
        case 'r':return (i & 4);break;
        case 's':return (i & 8);break;
        case 't':return (i & 16);break;
        case 'K':t=solve();return t & solve();break;//之所以用t，是因为C++和G++存在运算顺序差异
        case 'A':t=solve();return t | solve();break;
        case 'N':return !solve();break;
        case 'C':t=solve();return (!t | solve());break;
        case 'E':t=solve();return (t == solve());break;

    }
}

int main()
{
    while(~scanf("%s",str)&&str[0]!='0')
    {
        for(i=0;i<32;i++)
        {
            j=0;
            if(!solve()) {printf("not\n");break;}
        }
        if(i>=32) {printf("tautology\n");}
    }
    return 0;
}

POJ 3295 Tautology