POJ 3295 后缀表达式

给你一个表达式  类似这种形式 ApNq 大写字母代表操作（&& || 之类的），小写字母代表 bool 变量，若表达式无论变量值为何均为真，则输出 tautology ，否则输出 not.

下面是操作符的真值表，想起来前一段时间看到的抽象语法树， 我就根据表达式构造一颗树， 然后分别给变量赋值就 OK 拉。

当然也可以像逆波兰式一样子进行计算，从后面开始取变量，放入一个栈中，遇到操作符就取出来进行计算。

Definitions of K, A, N, C, and E

w  x	Kwx	Awx	Nw	Cwx	Ewx
1  1	1	1	0	1	1
1  0	0	1	0	0	0
0  1	0	1	1	1	0
0  0	0	0	1	1	1

#include<stdio.h>
#include<algorithm>
#include<string>
#include<cmath>
#include<iostream>
using namespace std;
int value;
const int p = 1;
const int q = 1<<1;
const int r = 1<<2;
const int s = 1<<3;
const int t = 1<<4;
struct node
{
	node* sons[2];
	int type;
	char op;
	char symb;
	bool getResult()
	{
		if(type==1)
		{
			//printf("type1 %c\n",symb);
			switch(symb)
			{
				case 'p':
					return value&p;
				case 'q':
					return value&q;
				case 'r':
					return value&r;
				case 's':
					return value&s;
				case 't':
					return value&t;
			}
		}
		//printf("type2 %c\n",op);
		switch(op)
		{
			case 'K':
				return sons[0]->getResult()&&sons[1]->getResult();
			case 'A':
				return sons[0]->getResult()||sons[1]->getResult();
			case 'N':
				return !sons[0]->getResult();
			case 'C':
				return (!sons[0]->getResult())||sons[1]->getResult();
			case 'E':
				return !(sons[0]->getResult()^sons[1]->getResult());
		}
	}
}G;
char f[200];
int fi;
void dfs(node *n)
{
	if(f[fi]<='z' && f[fi]>='a')
	{
		n->type=1;
		n->symb=f[fi++];
		return ;
	}
	n->type=0;
	n->op=f[fi++];
	n->sons[0]=new node;
	dfs(n->sons[0]);
	if(n->op!='N')
	{
		n->sons[1]=new node;
		dfs(n->sons[1]);
	}
}

int main()
{
	while(scanf("%s",f)&&f[0]!='0')
	{
		fi=0;
		dfs(&G);
		int flag=true;
		for(int i=0;i<(1<<5);i++)
		{
			value=i;
			if(!G.getResult())
			{
				flag=false;
				break;
			}
		}
		if(flag)
			puts("tautology");
		else
			puts("not");		
	}
}