逻辑表达式等价判断

题目要求：

给出两个c语言中的逻辑表达式，判断两个表达式是否完全一样(对变量所有的取值，两个表达式的值一样),表达式中的变量可由字母a-z中的任何一个表示，运算符由'|'(或),'&'(与),'^'(异或)，'~'(非)组成,表达式中还可能有圆括号,各运算符的优先级跟c语言一样。
输入每两行一组，分别为两个表达式(长度不大于100)．
如果两个表达式一样，则输出Equivalent,否则输出Different
如输入：
a^b&(b|a)
(a^(b&(b|a)))

a ^b&(b|a)
~b^a
输出为：
Equivalent

Different

话不多说，直接上源码:

源程序代码（编译环境Visual C++ 6.0）：

#include
#include
#include
//N为表达式的长度
#define N 105
  
int equal(char a[],char b[],int l1,int l2);//判断两个逻辑表达式是否等价
int getnumber(char a[],int l);//获取变量的个数
char cal(char a[],int l);//计算逻辑表达式的值
int pri(char ch);//判断符号的优先级
  
char c[26];//用来记录表达式中变量的个数以及变量的名称
int main()
{
      char ans1[N],ans2[N];
      int l1,l2;//两个表达式的长度
    printf("请输入两个逻辑表达式\n");
      while(scanf("%s%s",ans1,ans2)!=EOF)
      {
            l1=strlen(ans1);
            l2=strlen(ans2);
            if(equal(ans1,ans2,l1,l2))
              printf("Equivalent\n");
            else
              printf("Different\n");
      }
      return 0;
}
int equal(char a[],char b[],int l1,int l2)
{
      int i,j;
      char zhi1,zhi2;
      char ctemp[26];//分别位a,b,c的临时数组
      char atemp[N];
      char btemp[N];
      int x=0,y=0;//a,b表达式中的变量个数
      int n;//所有取值的种数
      int tempn,max;
      char list[26];//变量取值表
      y=getnumber(b,l2);
    x=getnumber(a,l1);
//   printf("变量个数：%d\n",x);
    max=x>y?x:y;//取两个表达式中变量（以多的为准）
      n=pow(2.0,max);//获取取值的总数，如3个变量有2^3种
//   printf("取值种数：%d\n",n);
      while(n)
      {
        getnumber(a,l1);
            strcpy(ctemp,c);//还原
            strcpy(atemp,a);//还原
       
            tempn=n;
       
            for(i=x;i>=0;i--)//Max位变量取值表
            {           
                  list[i]=tempn%2+'0';
                  tempn/=2;
             
            }
                  j=1;
            for(i=0;i<26;i++)//构建26位取值表
            {
                  if(ctemp[i]!='0')
                  {
                       ctemp[i]=list[j++];
                  }
            }
            for(i=0;i='a'&&atemp[i]<='z')
                  atemp[i]=ctemp[atemp[i]-'a'];
            }
  
            strcpy(btemp,b);//还原 
            for(i=0;i='a'&&btemp[i]<='z')
                  btemp[i]=ctemp[btemp[i]-'a'];
            }
            zhi1=cal(atemp,l1);//计算结果
            zhi2=cal(btemp,l2);
            if(zhi1!=zhi2)//判断两个表达式值是否相等
            {
                  return 0;
            }
            n--;
      }
       
      return 1;
}
int getnumber(char a[],int l)
{
       
      int number=0;//变量的个数
      int i;
      memset(c,'0',sizeof(c));
      for(i=0;i='a'&&a[i]<='z')
            {
                  c[a[i]-'a']+=1;
            }
      }
      for(i=0;i<26;i++)
      {
            if(c[i]!='0')
            {
                  number++;
            }
      }
      return number;
}
char cal(char a[],int l)
{
      int i;
      int top=0;
      int j=0;
      char stack[N];//利用栈将中序式转为后序式
      char fin[N];//转换后的后序式
      char result[N];//用来保存结果的栈
      char ch;
      fin[0]='#';
      for(i=0;i<=l;i++)
      {
            switch(a[i])
            {
                  case '\0':
                  while(top>0)
                  {
                      fin[++j]=stack[top--];
                  }
                  break;
                   
                  case '(':
                   
                  stack[++top]=a[i];
                  break;
                   
                  case '|':       
                  case '^':
                  case '&':
                  case '~':
                  while(pri(stack[top])>=pri(a[i]))
                  {
                       fin[++j]=stack[top--];
                  }
                  stack[++top]=a[i];
                  break;
                   
                  case ')':
                  while(stack[top]!='(')
                  {
                       fin[++j]=stack[top--];
                  }
                  top--;
                  break;
                   
                  default:
                  fin[++j]=a[i];
                  break;
            }
      }
      fin[++j]='\0';
  
      top=0;
      for(i=1;i