poj3295

本题中最多5个命题变项:p,q,r,s,t

每个有0,1两种取值,所以总共32种情况,分别枚举即可。

对于每种情况,计算表达式的值,如果有结果为0的则输出not

难点在于如何计算表达式的值,我们采用递归的方法,把表达式分为一或两个子表达式,并把参数end(本表达式的结束位置)传给上一层,一遍上一层获取第二个子表达式的起始位置。最后通过两个子表达式的结束位置,得到整个表达式的结束位置。

end是本表达式的最后一位的下标,即本表达式的长度减一。

所以 end = 2 + end1 + end2;

 

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
#include <iostream>
#include <cstdio>
#include <cstring>
#include <cstdlib>
using namespace std;
 
string p;
bool v[5];
 
bool getValue(string p, int &end)
{
    bool a, b;
    int end1, end2;
 
    if (p[0] >= 'p')
    {
        end = 0;
        return v[p[0] - 'p'];
    }
    if (p[0] == 'N')
    {
        a = getValue(p.substr(1, p.length() - 1), end1);
        end = end1 + 1;
        return !a;
    }
    a = getValue(p.substr(1, p.length() - 1), end1);
    b = getValue(p.substr(end1 + 2, p.length() - 1), end2);
    end = 2 + end1 + end2;
    switch (p[0])
    {
    case 'K':
        return a && b;
    case 'A':
        return a || b;
    case 'C':
        return !a || b;
    case 'E':
        return !(a ^ b);
    }
    return 0;
}
 
int main()
{
    bool ok;
 
    freopen("D:\\t.txt", "r", stdin);
    while (getline(cin, p) && p != "0")
    {
        ok = true;
        for (int i = 0; i < 32; i++)
        {
            for (int j = 0; j < 5; j++)
                v[j] = (i >> j) % 2;
            int x;
            if (!getValue(p, x))
            {
                ok = false;
                break;
            }
        }
        if (ok)
            cout << "tautology" << endl;
        else
            cout << "not" << endl;
    }
    return 0;
}
posted @   undefined2024  阅读(1794)  评论(1编辑  收藏  举报
编辑推荐:
· 为什么说在企业级应用开发中,后端往往是效率杀手?
· 用 C# 插值字符串处理器写一个 sscanf
· Java 中堆内存和栈内存上的数据分布和特点
· 开发中对象命名的一点思考
· .NET Core内存结构体系(Windows环境)底层原理浅谈
阅读排行:
· 为什么说在企业级应用开发中,后端往往是效率杀手?
· 本地部署DeepSeek后,没有好看的交互界面怎么行!
· DeepSeek 解答了困扰我五年的技术问题。时代确实变了!
· 趁着过年的时候手搓了一个低代码框架
· 推荐一个DeepSeek 大模型的免费 API 项目!兼容OpenAI接口!
点击右上角即可分享
微信分享提示