POJ3295——Tautology

POJ3295

/************************************************************算法原理：WFF求值，从表达式的末尾向前读取字符，并分类出入栈。因为输入是合法的，最后栈顶（且只有一个）的元素即为表达式的逻辑值Notice：1）位&运算符的运用，可以精简代码2）判断K, A, N, C, E的逻辑值可以用已知二维数组3）还可以用递归求解************************************************************/#include<iostream>#include<stack>using namespace std;const int Length = 1000;stack<int> answers;char experssion[Length];int value[5];//在共2^5(32)种情况下判断void  operaterStack(int pos)//根据expression进行出入栈的操作{if (experssion[pos] == 'N'){int a = answers.top(); answers.pop();answers.push(!a);}else if (experssion[pos] >= 'p'&&experssion[pos] <= 't')answers.push(value[experssion[pos] - 'p']);//value[0]-value[4]在32个循环里赋予了不同的值else{int a = answers.top(); answers.pop();int b = answers.top(); answers.pop();switch (experssion[pos]){case 'K':answers.push(a&&b); break;//或者按题目中给的bool值，用已知数组判断逻辑关系case 'A':answers.push(a || b); break;case 'C':answers.push(!a|| b); break;case 'E':answers.push(a == b); break;default:break;}}}int main(){while (cin >> experssion&&(experssion != "0"))//表达式结束的标志位'0'{int j;for (j = 0; j < (1 << 5); j++)//共32种情况{//详细见图for (int k = 0; k < 5; k++)value[k] = j & (1 << k);//类似于x&1判断奇偶int i = strlen(experssion);//while循环的条件有i--防止越界while (i--)operaterStack(i);//value[0]-value[4]在这个函数里发挥作用啦if (!answers.top()){cout << "not\n";//栈顶元素即为表达式最后的值answers.pop();//清空栈，给下一次循环使用break;}}if (j >= (1 << 5))//如果j是正常退出，即说明表达式值为1cout << "tautology\n";//此时j>=32}}/*非常酷的用递归的写法，在32个循环中判断即可int getval(){int temp1, temp2;switch (experssion[pos++]){case 'p': return (value & (1 << 0)) ? 1 : 0;case 'q': return (value & (1 << 1)) ? 1 : 0;case 'r': return (value & (1 << 2)) ? 1 : 0;case 's': return (value & (1 << 3)) ? 1 : 0;case 't': return (value & (1 << 4)) ? 1 : 0;case 'K': temp1 = getval(); temp2 = getval(); return temp1 & temp2;case 'A': temp1 = getval(); temp2 = getval(); return temp1 | temp2;case 'N': return !getval();case 'C': temp1 = !getval(); temp2 = getval(); return temp1 | temp2;case 'E': temp1 = getval(); temp2 = getval(); return temp1 == temp2;} }*/