#include<stdio.h>
#include<stdlib.h>
#include<string.h>
int state[5];
char s[205];
int l=0;
int ind()                    
{
	char ch=s[l++];
	printf("");
	
	switch(ch)
	{
	case 'p':
	case 'q':
	case 'r':
	case 's':
	case 't':
		return state[ch-'p'];
		break;
	case 'K':
		return ind()&ind();       
		break;
	case 'A':
		return ind()|ind();
		break;
	case 'N':
		return !ind();
		break;
	case 'C':
		return !ind()|ind();
		break;
	case 'E':
		return ind()==ind();
		break;
	}
}

int main()
{
    scanf("%s", s);
    while(s[0]!='0')
    {
        int len=strlen(s);
        int mark=1;
        for(state[0]=0; state[0]<=1 && mark; state[0]++)
        {
            for(state[1]=0; state[1]<=1 && mark; state[1]++)
            {
                for(state[2]=0; state[2]<=1 && mark; state[2]++)
                {
                    for(state[3]=0; state[3]<=1 && mark; state[3]++)
                    {
                        for(state[4]=0; state[4]<=1 && mark; state[4]++)
                        {
			    l=0;          
                            if(ind()==0)
                               mark=0;
                        }
                    }
                 }
            }
        }
        if(mark==1)
            printf("tautology\n");
        else
            printf("not\n");
        scanf("%s", s);
    }
    return 0;
} 

• Re:贴个代码，给大家抛砖引玉。。。 (1551) shixinfei 2010-08-11 22:30:55
  • Re:贴个代码，给大家抛砖引玉。。。 (178) shixinfei 2010-08-12 10:40:48
• Re:贴个代码，给大家抛砖引玉。。。 (49) Moon_1st 2010-10-11 21:18:13
  • Re:贴个代码，给大家抛砖引玉。。。 (55) aidudu 2011-02-10 14:31:04
    • Re:贴个代码，给大家抛砖引玉。。。 (23) luluxiu 2011-09-09 10:55:41
      • Re:贴个代码，给大家抛砖引玉。。。 (44) 201358505106 2014-09-22 20:52:44
• Re:贴个代码，给大家抛砖引玉。。。 (33) xus1321 2011-08-12 23:54:59
• Re:请问为什么函数有参数会超时呢？？？？？ (1007) Wangshufeng3 2012-09-12 16:01:28
• Re:贴个代码，给大家抛砖引玉。。。 (1556) OSJake 2013-04-05 20:13:46
• Re:贴个代码，给大家抛砖引玉。。。 (1555) w3060281 2014-06-29 21:16:32