POJ 3295 Tautology

这道题是让判断一个MMF是否为永真式，所以要枚举每个变量的值，然后用求前缀表达式的方式，用递归求值，但是这道题有两个特别诡异的错误调试了很久，看了讨论区才突然明白是怎么回事。

在递归的过程中我使用的是work()函数进行求值，然后使用了语句return work()&&work()然而这个语句是有问题的，在C++当中，如果第一个work()的返回值是0，那么后边的work()函数就不会被执行，所以应该在前面用参数来把值暂时存下来。

另一个问题是我不小心把两个参数设置成了临时变量，导致求完第一个参数之后，求第二个参数的值的同时把第一个参数的值也给改变了，细节上的问题还是总结总结多多注意！

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

#define maxn 105

char str[maxn]={0};
int p,q,r,s,t;
int k = 0;


bool work(){
    int arg1,arg2;
    switch(str[k++]){
        case 'p':
            return p;
        case 'q':
            return q;
        case 'r':
            return r;
        case 's':
            return s;
        case 't':
            return t;
        case 'K':
            arg1 = work();
            arg2 = work();
            return arg1&&arg2;
        case 'A':
            arg1 = work();
            arg2 = work();
            return arg1||arg2;
        case 'N':
            return !work();
        case 'C':
            arg1 = work();
            arg2 = work();
            if(arg1&&(!arg2))
                return 0;
            return 1;
        case 'E':
            arg1 = work();
            arg2 = work();
            return !(arg1^arg2);
        default:
            break;
    }
}

bool judge(){
    for(p = 0;p < 2;++p){
        for(q = 0;q < 2;++q){
            for(r = 0;r < 2;++r){
                for(s = 0;s<2;++s){
                    for(t = 0;t<2;++t){
                        k = 0;
                        if(!work())
                            return false;
                    }
                }
            }
        }
    }
    return true;
}

int main(){
    while(scanf("%s",&str)){
        if(str[0] == '0')
            break;
        if(judge()){
            printf("tautology\n");
        }
        else{
            printf("not\n");
        }
        memset(str,0,sizeof(str));
    }   
    return 0;
}