POJ 3295 Tautology 永真式,栈的简单模拟

15 篇文章 0 订阅
7 篇文章 0 订阅
倒这做比较方便,通过元素进栈,元素符号取出栈中元素做运算再放回栈中即可实现。
#include <cstdio>
#include <cstring>
#include <cstdlib>
#include <iostream>
#include <algorithm>
#include <cmath>

using namespace std;

char str[150];
int q, p, s, t, r;
int stack[150];

void view()
{
    int top = -1;
    int len = strlen(str);
    for(int i = len-1;i >=0;i--){
        if(str[i] == 'q')     stack[++top] = q;
        else if(str[i] == 'p')     stack[++top] = p;
        else if(str[i] == 's')     stack[++top] = s;
        else if(str[i] == 't')     stack[++top] = t;
        else if(str[i] == 'r')     stack[++top] = r;
        else if(str[i] == 'K'){
            bool x = stack[top--];
            bool y = stack[top--];
            stack[++top] = x&&y;
        }else if(str[i] =='A'){
            bool x = stack[top--];
            bool y = stack[top--];
            stack[++top] = x||y;
        }else if(str[i] == 'N'){
            stack[top] = !stack[top];
        }else if(str[i] == 'C'){
            bool x = stack[top--];
            bool y = stack[top--];
            if(x == 1&&y==0) stack[++top] = 0;
            else stack[++top] = 1;
        }else if(str[i] == 'E'){
            bool x = stack[top--];
            bool y = stack[top--];
            if((x==1&& y== 1)||(x==0&&y==0))  stack[++top] = 1;
            else    stack[++top] = 0;
        }
    }
}
bool solve()
{
    for(q = 0;q < 2;q++)
        for(p = 0;p < 2;p++)
            for(s = 0;s < 2;s++)
                for(t = 0;t < 2;t++)
                    for(r = 0;r < 2;r++){
                        view();
                        if(stack[0] == 0)
                            return false;
                    }
    return true;
}
int main()
{
    while(cin >> str){
        if(strcmp(str,"0") == 0){
            break;
        }
        if(solve()){
            printf("tautology\n");
        }else {
            printf("not\n");
        }
    }

    return 0;
}

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值