POJ 3295 - 位运算 + 模拟 +递归

1.Question:

本题是用枚举的思路来判断一个规定的逻辑表达式是不是永真式

首先题目意思是最多不会有超过5个逻辑变量，有五种运算

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

其中

K &

A |

N !

C ->

E 同或

其中的C我们可以利用 !A | B 实现

E利用==实现

本题的主要难点并不在于实现我们的语句计算的方式

1.难点1：

递归求解表达式，在这里真的是有深刻的理解了递归的强大之处，我们本题的做法真的离不开递归，我们的做法是一个一个字符的开始枚举的递归，每个字符分出10种情况，五种变量，五种运算符，这里我们添加一个指示器变量表示我们当前的递归的位置和深度，我们不用设置我们的递归的终止条件，因为我们的表达式保证了一定是正确的，我们的计算结果一定是会有返回值的，我们的计算结果是一层一层的返回的

2.难点2：

位运算，我们本题如果不利用位运算的话，至少需要写5层循环来模拟我们的变量的所有的情况，这样太低效了，我们将我们的所有的变量封装到一个一个字节的存储器中，每次利用位运算提取相关的位置的数字就好了（虽然我们的表达式并不会运算所有的情况，但是至少不会错）

Code:

#include"iostream"
#include"cstdio"
#include"cstdlib"
#include"cstring"

using namespace std;

int pos=0;
string data;

bool cal(int i)
{
	int t=pos++;
	switch(data[t])
	{
		case 'p':
			return (i >> 4)&1;
		case 'q':
			return (i >> 3)&1;
		case 'r':
		    return (i >> 2)&1;
		case 's':
		    return (i >> 1)&1;
		case 't':
		    return i&1;
		case 'K':
		    return cal(i) & cal(i);
		case 'A':
		    return cal(i) | cal(i);
		case 'N':
			return !cal(i);
		case 'C':
			return !cal(i) | cal(i);
		case 'E':
			return cal(i) == cal(i);
	}
}

bool isTautology()
{
	for(int i=0;i<=31;i++)
	{
		pos=0;
		if(cal(i)) continue;
		else return false;
	}
	return true;
}

int main()
{
	while(cin>>data&&data[0]!='0')
	{
		if(isTautology()) cout<<"tautology"<<endl;
		else cout<<"not"<<endl;
	}
	return 0;
}