POJ 3295 Tautology（构造）

题目链接

思路

K:&&
A:||
N:!
C:(!w)||x
E:w==x
由5个数据组成，由公式2^n 可知一共有 2^n 个表达式，我们需要把这么多个表达式的值全部为1，就是永真式（离散数学的知识）
对于题中给出的NpWp类似的，我们需要从右往左依次入栈出栈操作（表达式求值），运算符的话，从栈顶两个元素，由相应的符号对这两个元素进行计算，然后再入栈，小写符号（数据的话）直接入栈。对每个表达式求出来的值判断是否栈中有一个元素并且栈顶元素必须为1，2^5个情况，全部都符合后，即为永真式

参考大佬的博客

https://blog.csdn.net/rowanhaoa/article/details/8116852

AC代码

#include <cstdio>
#include <algorithm>
#include <cstring>
#include <string>
#include <iostream>
using namespace std;

int stack[1010];
string str;

int judge()
{
    int p, q, r, s, t;       //逻辑值只有0/1两种情况
    int n;                   //表达式长度
    int top;                 //栈顶变量
    for (p = 0; p <= 1; p++) //2^5中情况，挨个情况进行判断（这5个变量每次对应的值，要么0，要么1）
        for (q = 0; q <= 1; q++)
            for (r = 0; r <= 1; r++)
                for (s = 0; s <= 1; s++)
                    for (t = 0; t <= 1; t++)
                    {
                        n = str.size();
                        top = 0;
                        //从后往前弄表达式//后缀表达式
                        for (int i = n - 1; i >= 0; i--)
                        {
                            //cout << "str[i] = " << str[i] << endl;
                            if (str[i] == 'p')
                                stack[top++] = p;
                            if (str[i] == 'q')
                                stack[top++] = q;
                            if (str[i] == 'r')
                                stack[top++] = r;
                            if (str[i] == 's')
                                stack[top++] = s;
                            if (str[i] == 't')
                                stack[top++] = t;
                            if (str[i] == 'K')
                                top--, stack[top - 1] = (stack[top - 1] && stack[top]);
                            if (str[i] == 'A')
                                top--, stack[top - 1] = (stack[top - 1] || stack[top]);
                            if (str[i] == 'N')
                                stack[top - 1] = !stack[top - 1]; //注意这里不需要弹栈入栈操作，因为只对一个元素操作
                            if (str[i] == 'C')
                                top--, stack[top - 1] = ((!stack[top - 1]) || stack[top]);
                            if (str[i] == 'E')
                                top--, stack[top - 1] = ((stack[top - 1]) == stack[top]);
                        }
                        if (top != 1 || stack[top - 1] != 1) //栈中不是留有一个元素，或者留有一个元素，但是该元素不是1
                        {
                            //cout << "top = " << top << " stack[top] = " << stack[top] << endl;
                            return 0;
                        }
                    }

    return 1;
}

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