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;}