题目很简单就是计算表达式。这个可以入栈出栈,来计算。discuss里面通过递归计算很经典。
另外就是用& | 还是用&& ||这是个问题。否则wa死都不知道。
总体解决如果用c++编译器编译,赋值为0或者为1,然后用 ! && ||千万不要用用& |
实际上如果我们赋值用 = i &(1<<j)这样的赋值,再使用&& ||话也会wa,所以最好直接赋值吧。
位运算和逻辑运算还是有差别的。bool还是int
#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;
}