POJ 3295【Tautology】_tautology代码-优快云博客

本文链接：https://blog.youkuaiyun.com/flash403/article/details/89527673

本文介绍了一种使用栈数据结构来判断布尔表达式是否恒真的算法。通过从后往前扫描字符串，遇到数字则压栈，遇到运算符则进行相应的布尔运算并将结果压栈。最后遍历所有可能的变量取值组合，检查表达式是否在所有情况下都为真。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

题目链接

思路：

这类题一看就是要用栈啦，我的思路是读入 string 后从后往前操作。
如果遇到数字 （p、q、r、s、t） 就压栈，遇到运算符 （K、A、N、C、E） 就弹栈运算并且将子结果压栈。
但是我虽然想到了思路，却没敢写，因为我总觉得可以有更简单的方法判断是否恒真，但是一搜题解好像大家都是循环做的。还是要敢做，哪怕不够优呢。太没自信，这点我要检讨。

代码：

672K 0MS

//672K		0MS


#include <iostream>
#include <stack>
#include <string>

using namespace std;

string str;
stack<bool> num;
int p,q,r,s,t;

bool CONNUM(char c){
	//converse number
	switch (c)
	{
		case 'p' : return p;
		case 'q' : return q;
		case 'r' : return r;
		case 's' : return s;
		case 't' : return t;
	}
}

void CONOPE(char c){
	if(c == 'N'){
		bool b = num.top();num.pop();
		b = !b;
		num.push(b);
		return ;
	}
	bool l,r;
	r = num.top();num.pop();
	l = num.top();num.pop();
	switch (c){
		case 'K' : num.push(l && r);return ;
		case 'A' : num.push(l || r);return ;
		case 'C' : num.push((!l) || r);return ;
		case 'E' : num.push(!(l ^ r));return ;
	}
}

bool CAL(){
	for(string::iterator i = str.end() - 1 ; i >= str.begin() ; i--){
		if(*i <= 'z' && *i >= 'a')
			num.push(CONNUM(*i));
		else
			CONOPE(*i);
	}
	if(num.top())//在AC()中 num.pop() 
		return true;
	else
		return false;
}

bool AC(){
	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++){
							bool ans = CAL();
							num.pop();
							if(!ans) return false;
						}
					}
				}
			}
		}
	return true;
}


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