重言式的判别1.docVIP

PAGE  山东理工大学计算机学院 课 程 设 计 （数据结构） 班 级计科1003姓 名王天宇学 号1011051111 指导教师孙守卿 二○一一年一月二十日 课程设计任务书及成绩评定 课题名称 重言式的判别 Ⅰ、题目的目的和要求： 1、设计目的 巩固和加深对数据结构的理解，通过上机实验、调试程序，加深对课本知识的理解，最终使学生能够熟练应用数据结构的知识写程序。 （1）通过本课程的学习，能熟练掌握几种基本数据结构的基本操作。 （2）能针对给定题目，选择相应的数据结构，分析并设计算法，进而给出问题的正确求解过程并编写代码实现。 2、设计题目要求： 一个逻辑表达式如果对于其变元的任一种取值均为真，则成为重言式；反之，如果对于其变元的任一种取值都为假，则称为矛盾式，然而，更多的情况下，既非重言式，也非矛盾式。写一个程序通过真值表判别一个逻辑表达式属于上述哪一类。基本要求如下： （1） 逻辑表达式从终端输入，长度不超过一行。逻辑运算符包括“｜”、“＆”和“～”，分别表示或、与和非，运算优先程度递增，但可有括号改变，即括号内的运算优先。逻辑变元为大写字母。表达式中任何地方都可以含有多个空格符。 （2） 若是重言式或矛盾式，可以只显示“True Forever”或“False Forever”，否则显示“Statisfactible”以及变量名序列，与用户交互。若用户对表达式变元取定一组值，程序就求出并显示逻辑表达式的值。 Ⅱ、设计进度及完成情况 日 期内 容1.02~1.03选取参考书，查阅有关文献资料，完成资料搜集和系统分析工作。1.04~1.05创建相关数据结构,录入源程序。1.06~1.07调试程序并记录调试中的问题，初步完成课程设计报告。1.09上交课程设计报告打印版并进行课程设计答辩，要求每个同学针对自己的设计回答指导教师3-4个问题。考核结束后将课程设计报告和源程序的电子版交班长统一刻光盘上交。 Ⅲ、主要参考文献及资料 [1] 严蔚敏 数据结构（C语言版）清华大学出版社 1999 [2] 严蔚敏 数据结构题集（C语言版）清华大学出版社 1999 [3] 谭浩强 C语言程序设计 清华大学出版社 [4] 与所用编程环境相配套的C语言或C++相关的资料 Ⅳ、成绩评定： 设计成绩： （教师填写） 指导老师： （签字） 二○一一 年 一 月 二 十一 日目 录 第一章 概述……………………………………………………………1 第二章 系统分析………………………………………………………2 第三章 概要设计………………………………………………………3 第四章 详细设计………………………………………………………5 第五章 运行与测试……………………………………………………11 第六章 总结与心得……………………………………………………12参考文献………………………………………………………………13 PAGE 13 第一章 概述 课程设计是实践性教学中的一个重要环节，它以某一课程为基础，可以涉及和课程相关的各个方面，是一门独立于课程之外的特殊课程。课程设计是让同学们对所学的课程更全面的学习和应用，理解和掌握课程的相关知识。《数据结构》是一门重要的专业基础课，是计算机理论和应用的核心基础课程。 数据结构课程设计，要求学生在数据结构的逻辑特性和物理表示、数据结构的选择和应用、算法的设计及其实现等方面，加深对课程基本内容的理解。同时，在程序设计方法以及上机操作等基本技能和科学作风方面受到比较系统和严格的训练。 在这次的课程设计中我选择的题目是重言式判别。传统的重言式判别，基本手工劳动，既浪费精力又浪费时间，而且人工统计操作起来效率相对来说要低，也容易出错。但是现在这些逻辑计算借助计算机系统完成后，效率可以得到提高，也可以减少出错的几率。可以使有关与或非的逻辑计算显得更加的方便，迅捷，减少很多劳动量。 第二章 系统分析 ? 该程序通过真值表判别一个逻辑表达式属于重言式、矛盾式、既非重言式也非矛盾式中的哪一类。由于逻辑表达式都是通过判断逻辑运算符的优先级进行的，逻辑运算符包括“｜”、“＆”和“～”，分别表示或、与和非，运算优先程度递增，但可有括号改变，即括号内的运算优先。此为总体分析。 通过上述的总体分析，我们可以确定需要用二叉树对从终端接受的逻辑表达式进行树的构造。由于运算有先有后，后还需借助堆栈来实现，故重点是要完成二叉树、遍历，堆栈的建立，入栈、出栈等基本操作。 既为逻辑表达式的运算，就需要有一个优先级的判别的函