poj-3295-CSDN博客

题目连接：http://poj.org/problem?id=3295

题目很简单就是计算表达式。这个可以入栈出栈，来计算。discuss里面通过递归计算很经典。

另外就是用& | 还是用&& ||这是个问题。否则wa死都不知道。

总体解决如果用c++编译器编译，赋值为0或者为1，然后用！ && ||千万不要用用& |

实际上如果我们赋值用 = i &(1<<j)这样的赋值，再使用&& ||话也会wa，所以最好直接赋值吧。

位运算和逻辑运算还是有差别的。bool还是int

大致题意：

输入由p、q、r、s、t、K、A、N、C、E共10个字母组成的逻辑表达式，

其中p、q、r、s、t的值为1（true）或0（false），即逻辑变量；

K、A、N、C、E为逻辑运算符，

K --> and: x && y

A --> or: x || y

N --> not : !x

C --> implies : (!x)||y

E --> equals : x==y

问这个逻辑表达式是否为永真式。

PS:输入格式保证是合法的

解题思路：

p, q, r, s, t不同的取值组合共32种情况，枚举不同取值组合代入逻辑表达式WFF进行计算。

如果对于所有的取值组合，WFF值都为 true, 则结果为 tautology，否则为 not。

WFF的计算方法：

从字符串WFF的末尾开始依次向前读取字符。

构造一个栈stack，当遇到逻辑变量 p, q, r, s ,t 则将其当前的值压栈；

遇到 N 则取栈顶元素进行非运算，运算结果的值压栈；

遇到K, A, C, E则从栈顶中弹出两个元素进行相应的运算，将结果的值压栈。

由于输入是合法的，当字符串WFF扫描结束时，栈stack中只剩一个值，该值就是逻辑表达式WFF的值。

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#define nMax 120
int a[5];
char str[nMax];
int numStack[nMax];

void solve()
{
	bool flag = false;
	for (int i = 0; i <= 31; ++ i)
	{
		int numTop = 0;
		for (int j = 0; j < 5; ++ j)
		{
			if (i & (1 << j))
			{
				a[j] = 1;
			}
			else
				a[j] = 0;
			
		}
		for (int k = strlen(str) - 1; k >= 0; -- k)
		{
			if (str[k] >= 'p' && str[k] <= 't')
			{
				numStack[numTop ++] = a[str[k] - 'p'];
			}
			else
			{
				switch (str[k])
				{
				case 'K':
					numTop --;
					numStack[numTop - 1] =  numStack[numTop - 1] && numStack[numTop];
					break;
				case 'A':
					numTop --;
					numStack[numTop - 1] = numStack[numTop - 1] || numStack[numTop];
					break;
				case 'N':
					numStack[numTop - 1] = !numStack[numTop - 1];
					break;
				case 'C':
					numTop --;
					numStack[numTop - 1] = (! numStack[numTop - 1]) || numStack[numTop];
					break;
				case 'E':
					numTop --;
					numStack[numTop - 1] = (numStack[numTop - 1] == numStack[numTop]);
					break;
				}
			}
		}
		if (!numStack[0])
		{
			flag = true;
			break;
		}
	}
	if (flag)
	{
		printf("not\n");
	}
	else
		printf("tautology\n");

}
int main()
{
	while (1)
	{
		gets(str);
		if (str[0] == '0')
		{
			break;
		}
		solve();
	}
	return 0;
}

递归。。。

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