（1）利用二叉树来计算公式的真值。首先利用堆栈将中缀形式的公式变为后缀形式；然后根据后缀形式，从叶结点开始构造相应的二叉树；最后按后序遍历该树，求各子树之值，即每到达一个结点，其子树之值已经计算出来，当到达根结点时，求得的值就是公式之真值。 （2）逻辑变元的标识符不限于单字母，而可以是任意长的字母数字串。 （3）根据用户的要求显示表达式的真值表。

实用数据结构基础（第三版），实验七，标识符树与表达式求值-Based the practical data structure (third edition), experimental seven, identifier tree and expressions are evaluated

计算命题演算公式的真值，所谓命题演算公式是指由逻辑变量（其值为TRUE或FALSE）和逻辑运算符∧（AND）、∨（OR）和┐（NOT）按一定规则所组成的公式（蕴含之类的运算可以用∧、∨和┐来表示）。公式运算的先后顺序为┐、∧、∨，而括号（）可以改变优先次序。已知一个命题演算公式及各变量的值，要求设计一个程序来计算公式的真值。 要求： （1）利用二叉树来计算公式的真值。首先利用堆栈将中缀形式的公式变为后缀形式；然后根据后缀形式，从叶结点开始构造相应的二叉树；最后按后序遍历该树，求各子树之值

1）使用先序遍历序列构造算法,使用二叉链表，表示算术表达式2*3+6/3的标识符树； 2）求标识符树的先序、中序、后序序列，各存入数组中并显示结果； 3) 求树中叶子结点的个数 附加：3）使用后序序列求表达式的值（使用栈实现）； -1) Use a preorder traversal sequence construction algorithm, using the linked list of binary, indicating that the arithmetic