poj 3295 Tautology (构造)

题目：http://poj.org/problem?id=3295

题意：p，q，r，s，t，是五个二进制数。

K，A，N，C，E，是五个运算符。

K:&&

A:||
N:!

C:(!w)||x

E:w==x

题意是让求如果对于五个数的所有情况一个式子总是恒为1，那么这个式子就是tautology。输出tautology。

否则输出not。

5个数，最多有2^5种情况。

判断式子是不是恒为1，只需要从后往前判断即可。

这题好长时间没看懂，代码也是看网上大神的

 #include<iostream>

  #include<cstring>

  #include<cstdio>

  #include<cstdlib>

  #include<algorithm>

  using namespace std;

  char str[];

  int stack[];

  int check()

  {

      int pp,qq,rr,ss,tt,n,i,top;

      n=strlen(str);

      for(pp = ; pp < ; pp++)

          for(qq = ; qq < ; qq++)

              for(rr = ; rr < ; rr++)

                  for(ss = ; ss < ; ss++)

                      for(tt = ; tt < ; tt++)

                      {

                          top = ;

                          for(i = n-; i >= ; i--)

                          {

                              if(str[i]=='q') stack[top++]=qq;

                              if(str[i]=='p') stack[top++]=pp;

                              if(str[i]=='r') stack[top++]=rr;

                              if(str[i]=='t') stack[top++]=tt;

                              if(str[i]=='s') stack[top++]=ss;

                              if(str[i]=='K') top--,stack[top-]=(stack[top-]&&stack[top]);

                              if(str[i]=='A') top--,stack[top-]=(stack[top-]||stack[top]);

                              if(str[i]=='N') stack[top-]=!stack[top-];

                              if(str[i]=='C') top--,stack[top-]=((!stack[top-])||stack[top]);

                              if(str[i]=='E') top--,stack[top-]=((stack[top-])==stack[top]);

                          }

                          if(top!=||stack[top-]!=)

                              return ;

                      }

      return ;

  };

  int main()

  {

      while(gets(str)&&str[]!='')

      {

          if(check())

              cout<<"tautology"<<endl;

          else

              cout<<"not"<<endl;

      }

      return ;

  }