Tautology--POJ 3295

1、题目类型：模拟题、栈、位运算。

2、解题思路：（1）题意只用到5个 bool 变量，所以用0—32的 int 型用于循环；（2）根据str的操作符性质不停的出战、入栈直到循环结束。（3）判断最终栈中数据的真假，输出结果。

3、注意事项：从str.length()-1开始循环出入栈；

4、实现方法:

#include<iostream>
#include<string>
#include<stack>
using namespace std;

stack <bool> sta;
bool val[5],flag;

int main()
{    
    int i,j;
    string str;
    bool tmp1,tmp2;
    while(cin>>str && str!="0")
    {
        flag=1;
        for(i=0;i<32 && flag;i++)
        {
            memset(val,0,sizeof(val));
            for(j=0;j<5;j++)
            {
                if(i & (1<<j))
                    val[j]=1;
            }
            for(j=str.length()-1;j>=0;j--)
            {
                switch(str[j])
                {
                case 'p':case 'q':case 'r':case 's':case 't':
                    sta.push(val[str[j]-'p']);
                    break;
                case 'N':
                    tmp1=sta.top();
                    sta.pop();
                    sta.push(!tmp1);
                    break;
                case 'E':
                    tmp1=sta.top();
                    sta.pop();
                    tmp2=sta.top();
                    sta.pop();
                    sta.push(tmp1==tmp2);
                    break;
                case 'A':
                    tmp1=sta.top();
                    sta.pop();
                    tmp2=sta.top();
                    sta.pop();
                    sta.push(tmp1||tmp2);
                    break;
                case 'K':
                    tmp1=sta.top();
                    sta.pop();
                    tmp2=sta.top();
                    sta.pop();
                    sta.push(tmp1 && tmp2);
                    break;
                case 'C':
                    tmp1=sta.top();
                    sta.pop();
                    tmp2=sta.top();
                    sta.pop();
                    if(tmp2 && !tmp1)
                        tmp1=0;
                    else
                        tmp1=1;
                    sta.push(tmp1);
                    break;
                default:
                    break;
                };
            }
            if(!sta.top())
                flag=0;                
        }
        if(flag)
            cout<<"tautology"<<endl;
        else
            cout<<"not"<<endl;
    }
    return 0;
}