POJ3295 Tautology

一开始不清楚什么思路，觉得怎么才能“智能”的判断是否永真呢？
后来看到只有五个变量，1和0可以2^5暴力来做。
接下来就是计算表达式的值了，可以用一个stack记录操作符和操作数。计算的时候从右向左入栈，栈里面存的都是计算出来的值，遇到操作符时开始取栈里的数值计算。http://blog.csdn.net/lyy289065406/article/details/6642766
也可以用递归，更简洁。http://blog.csdn.net/allenlsy/article/details/4885948

还有做POJ的时候，适当还是可以debug的。

#include<iostream>

#include<string>

#include<stack>  

using namespace std;



int p, q, r, s, t;

stack<int> st;

string str;



bool variable(char c)

{

    switch (c)

    {

        case('p'):

            st.push(p); return true;

        case('q'):

            st.push(q); return true;

        case('r'):

            st.push(r); return true;

        case('s'):

            st.push(s); return true;

        case('t'):

            st.push(t); return true;

        default:

            return false;

    }

}



void operate(char c)

{

    int x, y;

    switch(c)

    {

        case('N'):

            x = st.top();

            st.pop();

            st.push(!x);

            break;

        case('K'):

            x = st.top();

            st.pop();

            y = st.top();

            st.pop();

            st.push(x && y);

            break;

        case('A'):

            x = st.top();

            st.pop();

            y = st.top();

            st.pop();

            st.push(x || y);

            break;

        case('C'):

            x = st.top();

            st.pop();

            y = st.top();

            st.pop();

            st.push((!x) || y);

            break;

        case('E'):

            x = st.top();

            st.pop();

            y = st.top();

            st.pop();

            st.push(x == y);

            break;

    }

}



int calc()

{

    int len = str.length();

    for (int i = len - 1; i >= 0; i--)

    {

        if (!variable(str[i]))

            operate(str[i]);

    }

    int ans = st.top();

    st.pop();

    return ans;

}



int main(void)

{

    while (cin >> str && str!="0")  

    {

		bool tautology = true;

        for (p = 0; p <= 1 && tautology; p++)

            for (q = 0; q <= 1 && tautology; q++)

                for (r = 0; r <= 1 && tautology; r++)

                    for (s = 0; s <= 1 && tautology; s++)

                        for (t = 0; t <=1 && tautology; t++)

                        {

                            if (calc() != 1)

                                tautology = false;

                        }

		if (!tautology)  

			cout << "not" << endl;  

		else  

			cout << "tautology" << endl;

    }

}