栈/POJ2395(判断是否为恒真式)

题目：

p q r s t是变量

N表示非：如Nr

E表示是否相等:如Ers = r==s

A表示或：如Ars = r||s

K表示与：如Krs = r&&s

C表示推导:Crs= !r || s

算法：

只有5个变量，枚举0~31，每位分别是p q r s t的值，看每次计算的值是不是true

从字符串结尾开始入栈：

是变量则入栈

是操作符则出栈计算完成后再入栈

最后看栈顶就可以了

Sample Input
ApNp
ApNq
0

Sample Output
tautology
not

#include <stack>
using namespace std;
int main(int argc, char* argv[])
{
	//freopen("i:\\t.txt","r",stdin);
	char str[128];
	bool val[5];
	bool t,t1,t2;
	memset(val,false,sizeof(val));
	while(scanf("%s",str)!=EOF){
		if(!strcmp(str,"0"))return 1;
		stack<bool> st;
		for(int v = 0; v<32;v++){
		for(int k = 0;k<5;k++)
		val[k]=(v>>k)&1;
	
		for(int i=strlen(str)-1;i>=0;i--){
			switch(str[i]){
			case 'p':
			case 'q':
			case 'r':
			case 's':
			case 't':
				st.push(val[str[i]-'p']);
				break;
			case 'N':
				t = st.top();
				st.pop();
				st.push(!t);
				break;
			
			case 'E':
				t1=st.top();
				st.pop();
				t2=st.top();
				st.pop();
				st.push(t1==t2);
                break;
			case 'A':
				t1=st.top();
				st.pop();
				t2=st.top();
				st.pop();
				st.push(t1||t2);
                break;
			case 'K':
				t1=st.top();
				st.pop();
				t2=st.top();
				st.pop();
				st.push(t1 && t2);
                break;
			case 'C':
				t1=st.top();
				st.pop();
				t2=st.top();
				st.pop();
				st.push(t1 || !t2);
                break;
			}
			
		
		}
			if(!st.top())break;
		}
		if(!st.top())printf("not\n");
		else printf("tautology\n");
	}
	return 1;
}