【POJ 3295】Tautology 前缀式计算

最新推荐文章于 2020-06-07 15:23:25 发布

原创最新推荐文章于 2020-06-07 15:23:25 发布 · 1.2k 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

其它专栏收录该内容

1 篇文章

订阅专栏

本文介绍了一种通过枚举变量所有可能取值来判断逻辑表达式是否为重言式的算法实现。该方法适用于含有逻辑运算符“且”、“或”、“非”、“推导”和“等值”的表达式，并考虑了短路特性的处理。

用K表示“且",A表示"或",N表示"非",C表示"推导"(相当于a->b相当于!a||b)，E表示"等值"

问你一个式子是否是重言式（永真式）。

方法就是枚举各种取值计算式子的值。

小心&&||的短路特性。。

#include<iostream> #include<cstdio> #include<cstring> #include<algorithm> #include<climits> using namespace std; bool state[5]; int start=-1; char str[110]="p"; bool val() { int p,q; switch(str[++start]) { case 'A':p=val();q=val();return p||q; case 'K':p=val();q=val();return p&&q; case 'N':return !val(); case 'C':p=val();q=val();return !p||q; case 'E':return val()==val(); default:return state[str[start]-'p']; } } int main() { //freopen("in.txt","r",stdin); while(~scanf("%s",str) && str[0]!='0') { bool res=1; for(int i=0;i<=1;i++) { state[0]=i; for(int j=0;j<=1;j++) { state[1]=j; for(int k=0;k<=1;k++) { state[2]=k; for(int l=0;l<=1;l++) { state[3]=l; for(int m=0;m<=1;m++) { state[4]=m; start=-1; res = res&&val(); if(!res) break; } } } } } puts(res?"tautology":"not"); } }