POJ 3295

stack<bool> st;
char ss[MAXN];
int len = 0;
bool p, q, r, s, t;

bool get_bit(int t,int x) {
//    在 t 中，取出第 x 位     --从零开始
return t & (1<<(x));
}

bool Ant() {
bool tmp,tmpp;
while(len!=-1)
switch(ss[len--]) {
case 'p':    st.push(p);    break;
case 'q':    st.push(q);    break;
case 'r':    st.push(r);    break;
case 's':    st.push(s);    break;
case 't':    st.push(t);    break;
case 'N':
tmp = st.top();st.pop();
st.push(!tmp);            break;

case 'A':
tmp = st.top();st.pop();tmpp = st.top();st.pop();
st.push(tmp || tmpp);        break;

case 'K':
tmp = st.top();st.pop();tmpp = st.top();st.pop();
st.push(tmp && tmpp);        break;

case 'C':
tmp = st.top();st.pop();tmpp = st.top();st.pop();
st.push(!tmp | tmpp);        break;

case 'E':
tmp = st.top();st.pop();tmpp = st.top();st.pop();
st.push(tmp == tmpp);        break;
}
return st.top();
}

int main () {
FOPEN
while(~SCFS(ss)) {
if(ss[0] == '0') {
break;
}

int lent = strlen(ss);
int sum = 64;
bool mark = 0;
for(int i = 0;i<sum;i++) {
len=lent - 1;SETQ(st);
p = get_bit(i,0);
q = get_bit(i,1);
r = get_bit(i,2);
s = get_bit(i,3);
t = get_bit(i,4);
int ans = Ant();
if( ans == 0) {
mark = 1;
break;
}
}
if(mark) {
puts("not");
} else {
puts("tautology");
}
}
}