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;
}