计算命题公式的真值 数据结构

#include <stdio.h>
#include <malloc.h>
#include <string.h>

typedef struct
{char fuhao[100];
  int top;
}SeqStack;//定义符号结构体
typedef struct Node 
{ char   data[100]; //数据域
  struct Node *leftChild; //左子树指针
  struct Node *rightChild; //右子树指针
  struct Node *father;//根结点指针
}BiTreeNode;//结点的结构体定义

typedef struct
{
    BiTreeNode  * dizhi[100];
     int top;
}SeqStack1; //定义结点结构体
void StackInitiate(SeqStack *S)//初始化符号顺序堆栈s，栈底为$
{
     S->fuhao[0]='$';
     S->top = 1;     //定义初始栈顶下标值
}
void StackPush(SeqStack *S,char x) //入栈,把x压入顺序堆栈
{

    S->fuhao[S->top] = x ;
    S->top++;

}
void StackPop(SeqStack *S,char *x)//出栈，弹出堆栈s的栈顶元素值到参数x
{

    S->top--;
    *x = S->fuhao[S->top];
}
int StackTop(SeqStack S,char *d)//取栈顶数据元素值到参数d成功返回1，否则返回0
{
      if(S.top<=0)
       {
              printf("堆栈已空!\n");
              return 0;
  }
       else
  {
              *d=S.fuhao[S.top-1];
              return 1;
       }
}

void Initiate(BiTreeNode **root)//初始化创建二叉树的头结点
{
    *root = (BiTreeNode * ) malloc(sizeof(BiTreeNode));
    (*root)->leftChild=NULL;
    (*root)->rightChild=NULL;
       (*root)->father=NULL;
}

void StackInitiate1(SeqStack1 *S)//初始化指针结点堆栈s1