POJ 3295 *** Tautology

题意：对p q r s t这五个逻辑变量有与K 或A 非N 蕴涵C 同或E的基本操作。给出一串由p q r s t K A N C E组成的表达式，求该表达式是否为永真式。

要求：表达式长度不超过100个字符。

想法：数据类型肯定是用栈，但是我一直在想栈的元素该用什么才能把p q r s t的32个状态统统表示出来，中间用了一次stack<int[32]>这种，但是编译都没通过，于是放弃。

后来看了一下别人的解答，才发现可以枚举p q r s t的值。对每次 p q r s t 的值对表达式求一次值，然后查看表达式的值是否一直为true。

代码如下：

#pragma warning(disable:4996)
#include<iostream>
#include<cstdio>
#include<cmath>
#include<stack>
#include<cstring>
#include<sstream>
#include<set>
#include<string>
#include<iterator>
#include<vector>
#include<map>
#include<algorithm>
using namespace std;

int var[110];
int main() {
	//freopen("input.txt", "r", stdin);
	//freopen("output.txt","w",stdout);
	string str;
	while (cin >> str, str[0] != '0') {
		int size = str.size();
		int p, q, r, s, t, flag = 1,top;
		for (p = 0; p < 2; ++p)
			if (flag)for (q = 0; q < 2; ++q)
				if (flag)for (r = 0; r < 2; ++r)
					if (flag)for (s = 0; s < 2; ++s)
						if (flag)for (t = 0; t < 2; ++t) {
							memset(var, 0, sizeof(var));
							top = 0;
							int a, b;
							for (int i = size - 1; i >= 0; --i)
								switch (str[i]) {
								case'p':var[top++] = p; break;
								case'q':var[top++] = q; break;
								case'r':var[top++] = r; break;
								case's':var[top++] = s; break;
								case't':var[top++] = t; break;
								case'K':a = var[--top]; b = var[--top];
									var[top++] = a&b; break;
								case'A':a = var[--top]; b = var[--top];
									var[top++] = a | b; break;
								case'N':a = var[--top];
									var[top++] = 1 - a; break;
								case'C':a = var[--top]; b = var[--top];
									var[top++] = !a | b; break;
								case'E':a = var[--top]; b = var[--top];
									var[top++] = !(a^b);
								}
							if (!var[--top])flag = 0;
						}
		if (flag)cout << "tautology" << endl;
		else cout << "not" << endl;
	}
	return 0;
}