poj 3295

题目意思就是计算表达式的值，如果所有情况下表达式为真就输出“tautology”，否则输出“not”。

p, q, r, s, and t，每个人有两种情况，综合起来一共有32种情况，枚举所有情况最后所有情况是真的话就是真。

K, A, N, C,E分别代表的是计算方式，e.iK代表逻辑语&，A代表逻辑语|，剩下的可以自己推了；

思路：先做一个预处理将所有情况都存到一个数组里面，然后就每一个情况分别枚举，处理方式的话是从表达式的最后面向前处理；

　　　因为是一个表达式，所以最后得到的结果只有一个数值，然后判断它是否为真就行了（注意一下：要将整个表达式的值在这一种情况下计算完才可以进行表达式真　　　　　　        假判断）

#include<cstdio>
#include<iostream>
#include<cstring>
using namespace std;
int num[35][6];
char s[105];
int main()
{
    for(int i=0;i<32;++i)
        for(int j=0;j<5;++j)
            if(i&(1<<j))    num[i][j]=1;
            else            num[i][j]=0;
    while(scanf("%s",s)==1)
    {    
        if(s[0]=='0')    break; 
        int flag=1;
        for(int k=0;k<32;++k){
            int len=strlen(s);
            int top=0;int goal[105];
            for(int j,i=len-1;i>=0;--i){
                if(s[i]>='p'&&s[i]<='t')    goal[top++]=num[k][s[i]-'p'];
                else if(s[i]=='K'){
                    goal[top-2]=goal[top-2]&&goal[top-1];--top;
                }
                else if(s[i]=='A'){
                    goal[top-2]=goal[top-2]||goal[top-1];--top;
                }
                else if(s[i]=='N')    goal[top-1]=!goal[top-1];
                else if(s[i]=='C'){
                    goal[top-2]=!goal[top-2]||goal[top-1];--top;
                }
                else if(s[i]=='E'){
                    goal[top-2]=goal[top-2]==goal[top-1];--top;
                }
            
            }
            if(goal[0]==0)    flag=0;
            if(flag==0)    break;        
        }
        if(flag)    cout << "tautology
";
        else        cout <<    "not
";    
    }    
}

别人递归的方法，学习学习

#include<stdio.h>  
02.#include<stdlib.h>  
03.#include<string.h>  
04.int state[5];  
05.char s[205];  
06.int l=0;  
07.int ind()                      
08.{  
09.    char ch=s[l++];  
10.    printf("");  
11.      
12.    switch(ch)  
13.    {  
14.    case 'p':  
15.    case 'q':  
16.    case 'r':  
17.    case 's':  
18.    case 't':  
19.        return state[ch-'p'];  
20.        break;  
21.    case 'K':  
22.        return ind()&ind();         
23.        break;  
24.    case 'A':  
25.        return ind()|ind();  
26.        break;  
27.    case 'N':  
28.        return !ind();  
29.        break;  
30.    case 'C':  
31.        return !ind()|ind();  
32.        break;  
33.    case 'E':  
34.        return ind()==ind();  
35.        break;  
36.    }  
37.}  
38.  
39.int main()  
40.{  
41.    scanf("%s", s);  
42.    while(s[0]!='0')  
43.    {  
44.        int len=strlen(s);  
45.        int mark=1;  
46.        for(state[0]=0; state[0]<=1 && mark; state[0]++)  
47.        {  
48.            for(state[1]=0; state[1]<=1 && mark; state[1]++)  
49.            {  
50.                for(state[2]=0; state[2]<=1 && mark; state[2]++)  
51.                {  
52.                    for(state[3]=0; state[3]<=1 && mark; state[3]++)  
53.                    {  
54.                        for(state[4]=0; state[4]<=1 && mark; state[4]++)  
55.                        {  
56.                l=0;            
57.                            if(ind()==0)  
58.                               mark=0;  
59.                        }  
60.                    }  
61.                 }  
62.            }  
63.        }  
64.        if(mark==1)  
65.            printf("tautology
");  
66.        else  
67.            printf("not
");  
68.        scanf("%s", s);  
69.    }  
70.    return 0;  
71.}   

挺巧妙的、