输出命题公式的真值表(后缀表达式）

1422.输出命题公式的真值表

时限：1000ms 内存限制：10000K  总时限：3000ms

描述

先输入一个正整数n（n小于等于10），表示共有n个命题变元，再输入一个类似于逆波兰表达式的字符串表示一个命题公式，约定在该字符串中用一位的十进制数表示一个命题变元，用a、o、n、i、e分别表示且、或、非、蕴含、等值，用类似于逆波兰表达式形式的字符串表示的命题公式的真值表波兰表达式（即二元运算，两个操作数在前，运算符在后；一元运算，一个操作数在前，运算符在后）。

 

输入

先输入一个小于等于10的正整数n，再输入一个字符串。

 

输出

输出该字符串表示的命题公式的真值表。
提示：
如果用P、Q、R分别表示这三个命题变元的话，
输入数据01a2i表示的命题公式是：((P∧Q)→R)
输入数据012ia表示的命题公式是：(P∧(Q→R))
输入数据0n表示的命题公式是：┐P

 

输入样例

3
01a2i

输出样例

0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 0
1 1 1 1

 

提示

 

来源

 

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <stack>
using namespace std;
stack <char> si;
char str[100];
int  b[100];
int n;
void solve()
{
    int i;
    int cnt=1;
    int ans;
    int len=strlen(str);
    for(i=0;i<len;i++)   //后缀表达式是实时计算的。push的是数，符号不用push.
    {
        if(str[i]>='0'&&str[i]<='9')
        {
            si.push(b[cnt]);
            cnt++;
        }
        else if(str[i]=='a')
        {
          int x1=si.top();  si.pop();
          int x2=si.top();  si.pop();
          ans=x1&&x2;
          si.push(ans);
        }
        else if(str[i]=='o')
        {
           int x1=si.top();  si.pop();
           int x2=si.top();  si.pop();
           ans=x1||x2;
           si.push(ans);
        }
        else if(str[i]=='n')
        {
            int x1=si.top();   si.pop();
            ans=!x1;
            si.push(ans);
        }
          else if(str[i]=='i')
        {
           int x1=si.top();   si.pop();
           int x2=si.top();   si.pop();
           if(x2==1&&x1==0)   ans=0;
           else               ans=1;
           si.push(ans);
        }
         else if(str[i]=='e')
        {
           int x1=si.top();  si.pop();
           int x2=si.top();  si.pop();
           ans=(x1==x2);
           si.push(ans);
        }
    }
    ans=si.top();
    si.pop();
    printf("%d\n",ans);
}
void dfs(int step)
{
    int i;
    if(step==n+1)
    {
        for(i=1;i<=n;i++)
        printf("%d ",b[i]);
        solve();
        return;
    }
    else
    {
        for(i=0;i<=1;i++)
        {
            b[step]=i;
            dfs(step+1);
        }
    }
    return;
}
int main()
{
    scanf("%d",&n);
    scanf("%s",str);
    dfs(1);
    return 0;
}