数据结构课程设计报告.docVIP

数据结构课程设计报告 班 级 计科三班 学 号 191123 姓 名 指导老师 郭 艳 日 期 2014年6月19日 计算命题演算公式的真值 需求分析 所谓命题演算公式是指由逻辑变量（其值为TRUE 或FALSE）和逻辑运算符∧（AND）、 ∨（OR）和┐（NOT）按一定规则所组成的公式（蕴含之类的运算可以用∧、∨和┐来表 示）。公式运算的先后顺序为┐、∧、∨，而括号（）可以改变优先次序。已知一个命题演 算公式及各变量的值，要求设计一个程序来计算公式的真值。 要求： （1）利用二叉树来计算公式的真值。首先利用堆栈将中缀形式的公式变为后缀形式； 然后根据后缀形式，从叶结点开始构造相应的二叉树；最后按后序遍历该树，求各子树之值， 即每到达一个结点，其子树之值已经计算出来，当到达根结点时，求得的值就是公式之真值。 （2）逻辑变元的标识符不限于单字母，而可以是任意长的字母数字串。 （3）根据用户的要求显示表达式的真值表。 设计 设计思想 (1) 数据结构设计 (1) 线性堆栈1的数据结构定义 typedef char DataType ； typedef struct { DataType stack[MaxStackSize]; int top; }SeqStack1; 用线性堆栈主要是用来存储输入的字符，它的作用就是将中缀表达式变成后缀表达式。 (2) 线性堆栈2的数据结构定义 typedef struct snode { DataType data; Struct snode *next; }LSNode; 用于检测表达式的括号匹配。 (3) 定义二叉树的结点BiTreeNode typedef struct Node { DataType data[MaxStackSize]; struct Node *leftChild; struct Node *rightChild; struct Node *parent; }BiTreeNode; （3）算法设计 首先实现将中缀表达式变成后缀表达式： 在将中缀表达式变成后缀表达式的时候会用到堆栈，因此首先需要初始化一个堆栈。又由于逻辑变元可能是字符也可能是字符串，所以它又不同于将单字符的逻辑变元的中缀表达式变成后缀表达式。我的设计是这样的，我将中缀表达式变成后缀表达式的过程分成了两部：化简（将一维的复杂的中缀表达式变成一维的简单的中缀表达式，并将字符串逻辑变元存放在二维数组中），转化（将化简后的中缀表达式变成后缀表达式）。 然后用后缀表达式构造出二叉树： 在这个过程中，我用到了之前所定义的存放树的堆栈。具体实现为：扫描后缀表达式，如果遇到逻辑变元然后将这个变元变成一个树节点，它的实现就是将该逻辑变元赋给树的data域，然后将它的左右子树赋为NULL，然后将这个树节点压入相应的堆栈；接着继续扫描，如果遇到的是单目运算符（非号“！”）也将它构造成一个树节点然后从堆栈里面弹出一个树形节点，将弹出的元素的作为它的左子树，右子树设置为NULL，然后将这个树节点压入相应的堆栈；如果扫描到的是双目运算符（与号“”或者或号“|”）将它也构造成一棵树，然后将这个树节点压入相应的堆栈，然后从栈中弹出两个元素，一个作为它的左子树，一个作为它的右子树，如此重复n（n为后缀表达式的长度）次。 最后打印真值表： 打印真值表也用到了前面的简单的后缀表达式，其实现的基本思想为和构造二叉树差不多，它实现了每到一个根节点就计算一个运算的值。在打印之前需要统计字符的个数，有m个字符则要打印2^m行，因为他有这么多情况。具体实现为：用一个字符型的数组来存放每个元素的一次取值，然后扫描后缀表达式，如果遇到逻辑变元就通过这个标识将相应的取值赋给它，然后它压入堆栈；接着继续扫描，如果遇到的是单目运算符（非号“！”）则从堆栈里面弹出一个元素，并对它进行非运算，然后又将这个运算后的值压入堆栈；如果扫描到的是双目运算符（与号“”或者或号“|”）则从栈中弹出两个元素，并对这两个元素进行相应的运算，然后将这个运算后的值压