POJ3295 Tautology重言式

Tautology

思路很简单，对于p、q、r、s、t暴力枚举是0还是1，判断即可。判断时像写表达式求值那样用栈。为了方便可以从后往前，因为最后一个肯定不是运算。那几个奇奇怪怪的函数可以找规律然后转为位运算，简洁又快。

#include<cstdio>
#include<stack>
#include<cstring>
using namespace std;
const int MAXN=105;
char a[MAXN];
int n,p,q,r,s,t;
bool ans;
bool isc(char c) {
	return c=='p'||c=='q'||c=='r'||c=='s'||c=='t';
}
void push(char c,stack<int>&st) {
	if(c=='p')st.push(p);
	if(c=='q')st.push(q);
	if(c=='r')st.push(r);
	if(c=='s')st.push(s);
	if(c=='t')st.push(t);
}
int K(int a,int b) {
	return a&b;
}
int A(int a,int b) {
	return a|b;
}
int N(int a) {
	return !a;
}
int C(int a,int b) {
	return (!a)|b;
}
int E(int a,int b) {
	return !(a^b);
}
void calc(char c,stack<int>&st) {
	if(c=='K') {
		int a,b;
		b=st.top(),st.pop();
		a=st.top(),st.pop();
		st.push(K(a,b));
	}
	if(c=='A'){
		int a,b;
		b=st.top(),st.pop();
		a=st.top(),st.pop();
		st.push(A(a,b));
	}
	if(c=='N'){
		int a;
		a=st.top(),st.pop();
		st.push(N(a));
	}
	if(c=='C'){
		int a,b;
		b=st.top(),st.pop();
		a=st.top(),st.pop();
		st.push(C(a,b));
	}
	if(c=='E'){
		int a,b;
		b=st.top(),st.pop();
		a=st.top(),st.pop();
		st.push(E(a,b));
	}
}
int main() {
	while(scanf("%s",a+1)!=EOF)
	{
		if(!strcmp(a+1,"0"))return 0;
		n=strlen(a+1);
		ans=true;
		for(p=0; p<=1; ++p) {
			for(q=0; q<=1; ++q) {
				for(r=0; r<=1; ++r) {
					for(s=0; s<=1; ++s) {
						for(t=0; t<=1; ++t) {
							stack<int>st;
							for(int i=n; i>=1; --i) {
								if(isc(a[i]))push(a[i],st);
								else calc(a[i],st);
							}
							if(!st.top())
							{
								ans=false;
								goto end;
							}
						}
					}
				}
			}
		}
		end:{ans?puts("tautology"):puts("not");}
	}
}