离散数学 命题逻辑

求任意一个命题公式的真值表

#include <iostream>
#include <string>
#include <queue>
#include <stack>
#include <cstdio>
#include <cmath>
using namespace std;
string R;int var[27]={
   0};int value[27]={
   0};int cnt=0;int two_p[27]={
   0};
queue<char> Q1;queue<char> Q2;queue<char> res;stack<char> S1; 
void back_res()
{
   
 while(!Q2.empty())
 {
   
  char ch=Q2.front();
  if(ch=='1'||ch=='0')
  {
   
   S1.push(ch);
   Q2.pop();
  }
  else if(ch=='&')
  {
   
   Q2.pop();char t=Q2.front();
   if(S1.top()=='1'&&t=='1')
   {
   
    S1.pop();S1.push('1');
   } 
   else
   {
   
    S1.pop();S1.push('0');
   }
   Q2.pop();
  }
  else if(ch=='|')
  {
   
   Q2.pop();char t=Q2.front();
   if(S1.top()=='0'&&t=='0')
   {
   
    S1.pop();S1.push('0');
   } 
   else
   {
   
    S1.pop();S1.push('1');
   }
   Q2.pop();
  }
  else if(ch=='>')
  {
   
   Q2