poj3295Tautology

背景：一直wrong在while()语句上最开始的时候没有把字符串为0考虑进去，所以导致输出一直是not。

思路：本题我构造了一个堆栈和一个映射关系，p，q，r，s，t每个只有0和1两种情况，所以可以直接用for循环枚举即可，枚举的时候用map产生映射，这样比较简单，然后就是定义一个字符串数组，从字符串最后一个元素开始处理，然后就是简单的堆栈操作，在元素处理中，按照题意，遇到p，q，r，s，t直接压栈，遇到其他字符按照题中的要求处理堆栈即可，当处理完字符串后，堆栈中应该只剩下一个元素，判断这个元素的值，然后做相应的处理。

学习：堆栈的简单运用。

#include <iostream>
#include <cstring>
#include <stack>
#include <map>
#include <cctype>
using namespace std;
stack<int> zhan;
map<char,int> logic;
void judge(char op[])
{
    int ok=1,n;
        for(int p=0;p<=1;p++)
            for(int q=0;q<=1;q++)
                for(int r=0;r<=1;r++)
                    for(int s=0;s<=1;s++)
                        for(int t=0;t<=1;t++)
                        {
                            logic['t']=t;
                            logic['p']=p;
                            logic['q']=q;
                            logic['r']=r;
                            logic['s']=s;
                            n=strlen(op)-1;
                            while(n>=0)
                            {
                                if(islower(op[n])) zhan.push(logic[op[n]]);
                                else
                                {
                                    if(op[n]=='N')
                                    {
                                        int a=zhan.top();zhan.pop();
                                        zhan.push(!a);
                                    }
                                    else
                                    {
                                        int a=zhan.top();zhan.pop();
                                        int b=zhan.top();zhan.pop();
                                        if(op[n]=='K') zhan.push(a&&b);
                                        else if(op[n]=='A') zhan.push(a||b);
                                        else if(op[n]=='C') zhan.push((!a)||b);
                                        else zhan.push(a==b);
                                    }
                                }
                                n--;
                            }
                            if(zhan.top()==0) {ok=0;cout<<"not"<<endl;return;}
                            zhan.pop();
                        }
    if(ok) cout<<"tautology"<<endl;
}
int main(void)
{
    char op[110];
    while(cin>>op&&op[0]!='0')
        judge(op);
    return 0;
}