POJ-3295 Tautology---栈+表达式求值

题目链接：

https://vjudge.net/problem/POJ-3295

题目大意：

输入由p、q、r、s、t、K、A、N、C、E共10个字母组成的逻辑表达式WFF
      其中
     p、q、r、s、t的值为1（true）或0（false），即逻辑变量.

K、A、N、C、E为逻辑运算符，含义如下：

问WFF是否为【永真式】 (大前提：【输入格式保证是合法的】)

思路：

可以把上述打表，然后求表达式的时候用栈，从后往前来模拟。之后在网上看到各个大写字母转化成具体表达式：

K --> and:  w && x
         A --> or:  w || x
         N --> not :  !w
         C --> implies :  (!w) || x
         E --> equals :  w == x

总共5个小写字母，直接枚举，然后每个表达式进行判断即可

 #include<iostream>
 #include<algorithm>
 #include<cstring>
 #include<cstdio>
 #include<cmath>
 #include<map>
 #include<queue>
 #include<stack>
 using namespace std;
 typedef long long ll;
 bool a[];
 map<char, int>Map;
 bool vis[][][];
 void init()
 {
     Map['K'] = ;
     Map['A'] = ;
     Map['C'] = ;
     Map['E'] = ;
     //K w x
     vis[][][] = ;
     vis[][][] = ;
     vis[][][] = ;
     vis[][][] = ;
     //A w x
     vis[][][] = ;
     vis[][][] = ;
     vis[][][] = ;
     vis[][][] = ;
     //C w x
     vis[][][] = ;
     vis[][][] = ;
     vis[][][] = ;
     vis[][][] = ;
     //E w x
     vis[][][] = ;
     vis[][][] = ;
     vis[][][] = ;
     vis[][][] = ;
 }
 string s;
 bool solve()
 {
     stack<bool>q;
     for(int i = s.size() - ; i >= ; i--)
     {
         if(islower(s[i]))q.push(a[s[i] - 'p']);
         else
         {
             if(s[i] == 'N')
             {
                 bool w = q.top();
                 q.pop();
                 w = !w;
                 q.push(w);
             }
             else
             {
                 bool w = q.top();
                 q.pop();
                 bool x = q.top();
                 q.pop();
                 q.push(vis[Map[s[i]]][w][x]);
             }
         }
     }
     return q.top();
 }
 int main()
 {

     init();
     while(cin >> s)
     {
         if(s.size() ==  && s[] == '')break;
         bool ok = ;
         for(int i = ; i < (<<); i++)
         {
             for(int j = ; j < ; j++)
             {
                 if(i & ( << j))a[j] = ;
                 else a[j] = ;
             }
             if(!solve()){ok = ;break;}
         }
         if(ok)cout<<"tautology"<<endl;
         else cout<<"not"<<endl;
     }
     return ;
 }