POJ 3295 Tautology （模拟法，栈的使用）

题意分析：
      输入由p、q、r、s、t、K、A、N、C、E共10个字母组成的逻辑表达式WFF
      其中 
        p、q、r、s、t的值为1（true）或0（false），即逻辑变量.

        K、A、N、C、E为逻辑运算符，含义如下：
         K --> and:  w && x
         A --> or:  w || x
         N --> not :  !w
         C --> implies :  (!w) || x
         E --> equals :  w == x

      问WFF是否为【永真式】 (大前提：【输入格式保证是合法的】)
解题思路：

解题思路：
      所谓的永真式, 就是不管WFF中的逻辑变量取任何值, 整个逻辑表达式的值始终为真.
      题目给出的逻辑变量共5个, 根据排列组合共 2^5 = 32 种组合变化
      那么只要计算WFF在这32种组合中的所有结果, 若均为真, 则WFF是永真式.

      那么问题剩下如何求解WFF.

        以样例输入的WFF表达式为例：ApNq
          其真正的含义是： A(p, N(q))

        更为复杂的情况是：EKpNAqrCsNt
          其含义是：E(K(p, N(A(q, r)), C(s, N(t)))

      对于要求解这类嵌套表达式的值, 最好的数据结构是栈：
        从最内层开始计算, 逐层向外推演

      在本题中, 由于只存在一目和二目运算符, 因此内层的运算总是在表达式末端,
      为此推演WFF表达式的算法是：
        从WFF表达式最后一个字符向前迭代：
        ① 遇到逻辑变量，则把该逻辑变量的当前值(0或1)直接压栈
        ② 遇到逻辑算符, 则根据是一目算符或二目算符，从栈顶取出对应两个逻辑变量值计算后, 把结果值压栈

      由于题目已经给出了一个大前提：【输入格式保证是合法的】
      因此整个过程无需考虑WFF表达式是否存在异常的情况，
      所以根据上述算法运算到最后，栈内必定只剩一下一个元素，该元素就是整个表达式的值.

      ================================================================================
      另外有个小技巧：
        由于存在5个逻辑变量, 常规枚举会产生5层循环嵌套.
        那就可以优化成一层循环（枚举[0, 31]），通过掩码取某个逻辑变量的值即可

 

代码：

#include<iostream>
#include<cstring>
#include<cstdio>
#include<queue>
#include<stack>
using namespace std;
char str[500];
int p,q,r,s,t;
stack<int> q1;
void option()
{
    int len=strlen(str);
    for(int i=len-1; i>=0;--i)
    {
        if(str[i]=='p')
            q1.push(p);
        else if(str[i]=='q')
            q1.push(q);
        else if(str[i]=='r')
            q1.push(r);
        else if(str[i]=='s')
            q1.push(s);
        else if(str[i]=='t')
            q1.push(t);
        else if(str[i]=='K')
        {
            int t1=q1.top();
            q1.pop();
            int t2=q1.top();
            q1.pop();
            int te=t1&&t2;
            q1.push(te);
        }
        else if(str[i]=='A')
        {
            int t1=q1.top();
            q1.pop();
            int t2=q1.top();
            q1.pop();
            int te=t1||t2;
            q1.push(te);
        }
        else if(str[i]=='N')
        {
            int t1=q1.top();
            q1.pop();
            int te=!t1;
            q1.push(te);
        }
        else if(str[i]=='C')
        {
            int t1=q1.top();
            q1.pop();
            int t2=q1.top();
            q1.pop();
            int te=(!t1)||t2;
            q1.push(te);
        }
        else if(str[i]=='E')
        {
            int t1=q1.top();
            q1.pop();
            int t2=q1.top();
            q1.pop();
            if(t1==t2)
                q1.push(1);
            else q1.push(0);
        }
    }
}
bool ans()
{
    for(p=0; p<2; ++p)
        for(q=0; q<2; ++q)
            for(r=0; r<2; ++r)
                for(s=0; s<2; ++s)
                    for(t=0; t<2; ++t)
                    {
                        option();
                        if(q1.top()==0)
                            return false;
                    }
    return true;
}
int main()
{
    while(cin>>str)
    {
        if(str[0]=='0') break;
        if(ans())
            cout<<"tautology"<<endl;
        else
            cout<<"not"<<endl;
    }
    return 0;
}