逻辑等价判断

写一段程序，测试p和q两个逻辑表达式是否逻辑相等
 用真值表判断
 输入的逻辑表达式为命题逻辑表达式
 输入的逻辑表达式可以为复合命题，可包含四种联接词：与，或，非，条件

编写代码，接收两个命题逻辑表达式。
2 分别为每种联接词实现其真值运算。
3．从左到右计算逻辑表达式，生成真值表，判断两个逻辑表达式是否等价

有一部分是参考别人的思路

include

include

include

include

include

using namespace std;
bool calls(char p[], bool n, bool m, bool l)
{
int length = strlen(p);
int o = 0;
bool a = 0, b = 0;
bool no = 0;
for (int i = 0; i <= length; i++)
{
if (p[i] == ‘p’)
{
b = n;
if (no == 1)
{
b = !b;
}
no = 0;
}
else if (p[i] == ‘q’)
{
b = m;
if (no == 1)
{
b = !b;
}
no = 0;
}
else if (p[i] == ‘r’)
{
b = l;
if (no == 1)
{
b = !b;
}
no = 0;
}
else
{
if (p[i] == ‘!’)
{
no = !no;
}
else if (o == 0)
{
a = b;
}
else if (o == 1)
{
a = a && b;
}
else if (o == 2)
{
a = a || b;
}
else if (o == 4)
{
a = !a || b;
}

        if (p[i] == '&' && p[i+1] == '&')
        {
            o = 1;
            i++;
        }
        else if (p[i] == '|' && p[i+1] == '|')
        {
            o = 2;
            i++;
        }
        else if (p[i] == '-' && p[i+1] == '>')
        {
            o = 4;
            i++;
        }
    }
}
return a;

}
void call(char m[],bool n[]) //进行每种情况
{

n[0] = calls(m, 1, 1, 1);
n[1] = calls(m, 1, 1, 0);
n[2] = calls(m, 1, 0, 1);
n[3] = calls(m, 1, 0, 0);
n[4] = calls(m, 0, 1, 1);
n[5] = calls(m, 0, 1, 0);
n[6] = calls(m, 0, 0, 1);
n[7] = calls(m, 0, 0, 0);

}
// 从左到右计算逻辑表达式，生成真值表

bool equ(bool a[],bool b[]) // 对打表的数值进行比较完全相等则返回1
{
for(int i=0;i<8;i++)
if(a[i]!=b[i])
return 0;
return 1;
}
int main()
{
char p[100]={0};
char q[100]={0};
bool p1[8],q1[8];
while(1)
{
cin>>q;
fflush(stdin);
cin>>p;
call(p,p1);
call(q,q1);
if(equ(p1,q1))
cout<<”YES”<