POJ3295

题意:
p,q,r,s,t分别代表0和1,K,A,N,C,E分别代表一种运算,具体的情况如下:K是x&&y;A是x||y;N是!x;C是(!x)||y;E是x==y;然后题目意思就是给你一连串的字符,
让你去判断它是否是永真式,如果是输出tautology,否则输出not
分析:
一开始的话是题目意思看了半天,就是那个C不知道是什么意思.明白了题目的意思后就比较好想思路,思路我的想法就是用栈来解决问题.具体就是把字符串从
最后面开始往栈里面添加,遇到是大写字母的就进行运算.就看最后的结果是1还是0.但是我不知道怎么来控制小写字母的0和1.于是乎,我的代码不知道怎么写.最后就在网上看别人的代码.看明白了后就自己写完了. 别人解决问题的方式真心是帅阿,用数组来当作栈使用,还有在控制小写字母的1和0的时候,直接用五个for循环搞定了,真的很佩服这样的思路,我只能是学习了 以后记住这样的写法,慢慢自己也搞出一写好的代码.而且据说还有用位运算来解决的,我也再去研究研究,学无止境.stay hungry stay foolish!
代码:

#include <iostream>
#include <cmath>
#include <cstring>
#include <algorithm>
#include <cstdio>
using namespace std;
const int MAXX=110;
//string str;
int p,q,r,s,t;
int stra[MAXX];//用来表示堆栈
char str[MAXX];

void First()
{
    int cns=0;
    int len = strlen(str);
    int t1=0,t2=0;
    for(int i=len-1;i>=0;i--)
    {
        if(str[i]=='p') 
            stra[cns++]=p;
        else if(str[i]=='q') 
            stra[cns++]=q;
        else if(str[i]=='r') 
            stra[cns++]=r;
        else if(str[i]=='s') 
            stra[cns++]=s;
        else if(str[i]=='t') 
            stra[cns++]=t;
        else if(str[i]=='K')
        {
            t1=stra[--cns];
            t2=stra[--cns];
            stra[cns++]=(t1&&t2);
        }
        else if(str[i]=='A')
        {
            t1=stra[--cns];
            t2=stra[--cns];
            stra[cns++]=(t1||t2);
        }
        else if(str[i]=='N')
        {
            t1=stra[--cns];
            stra[cns++]=(!t1);
        }
        else if(str[i]=='C')
        {
            t1=stra[--cns];
            t2=stra[--cns];
            stra[cns++]=((!t1)||t2);
        }
        else if(str[i]=='E')
        {
            t1=stra[--cns];
            t2=stra[--cns];
            stra[cns++]=(t1==t2);
        }
    }
}



bool salve()
{
    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++)
                    {
                        First();
                        if(stra[0]==0)
                            return false;
                    }
    return true;
}


int main()
{
    while(scanf("%s",&str))
    {
        if(strcmp(str,"0")==0)
            break;
        if(salve())
            cout<<"tautology"<<endl;
        else
            cout<<"not"<<endl;
    }
    return 0;
}