数据结构课程设计报告重言式的判定.doc

山东理工大学计算机学院 课 程 设 计 （数据结构） 班 级 姓 名 学 号 指导教师 二○一一年一月二十日 课程设计任务书及成绩评定 课题名称 重言式判定 Ⅰ、题目的目的和要求： 1、设计目的 巩固和加深对数据结构的理解，通过上机实验、调试程序，加深对课本知识的理解，最终使学生能够熟练应用数据结构的知识写程序。 （1）通过本课程的学习，能熟练掌握几种基本数据结构的基本操作。 （2）能针对给定题目，选择相应的数据结构，分析并设计算法，进而给出问题的正确求解过程并编写代码实现。 2、设计题目要求： 问题描述： 一个逻辑表达式如果对于其变元的任意一种取值都为真，则称为重言式；反之对于其变元的任意一种取值都为假，则为矛盾式；然而，更多的情况下，既非重言式，也非矛盾式。试写一个程序，通过真值表判别一个逻辑表达式属于上述哪一类。 基本要求： (1) 逻辑表达式从终端输入，长度不超过一行。逻辑运算符包括“|”，“”和“~”，分别表示或、与和非，运算优先程度递增，但可由括号改变，及括号内的运算优先。逻辑变元为大写字母。表达式中任何地方都可以含有多个空格符。 (2)若是重言式或矛盾式，可以只显示“True forever”或“False forever”，否则显示”Satisfactible”以及变量名序列，与用户交互。若用户对表达式中变量取定一组值，程序就求出并显示逻辑表达式的值。 Ⅱ、设计进度及完成情况 日 期 内 容 1.10-1.11 选取参考书，查阅有关文献资料，完成资料搜集和系统分析工作。 1.12~1.14 创建相关数据结构,录入源程序。 1.17~1.19 调试程序并记录调试中的问题，初步完成课程设计报告。 1.20~1.21 上交课程设计报告打印版并进行课程设计答辩，要求每个同学针对自己的设计回答指导教师3-4个问题。 考核结束后将课程设计报告和源程序的电子版交班长统一刻光盘上交。 Ⅲ、主要参考文献及资料 [1] 严蔚敏 数据结构（C语言版）清华大学出版社 1999 [2] 严蔚敏 数据结构题集（C语言版）清华大学出版社 1999 [3] 谭浩强 C语言程序设计 清华大学出版社 [4] 与所用编程环境相配套的C语言或C++相关的资料 Ⅳ、成绩评定： 设计成绩： （教师填写） 指导老师： （签字） 二○一一 年 一 月 二 十一 日目 录 第一章 概述……………………………………………………………1 第二章 系统分析………………………………………………………2 第三章 概要设计………………………………………………………3 第四章 详细设计………………………………………………………6 第五章 运行与测试……………………………………………………13 第六章 总结与心得……………………………………………………15参考文献 ………………………………………………………………16 第一章 概述 课程设计是实践性教学中的一个重要环节，它以某一课程为基础，可以涉及和课程相关的各个方面，是一门独立于课程之外的特殊课程。课程设计是让同学们对所学的课程更全面的学习和应用，理解和掌握课程的相关知识。《数据结构》是一门重要的专业基础课，是计算机理论和应用的核心基础课程。 数据结构课程设计，要求学生在数据结构的逻辑特性和物理表示、数据结构的选择和应用、算法的设计及其实现等方面，加深对课程基本内容的理解。同时，在程序设计方法以及上机操作等基本技能和科学作风方面受到比较系统和严格的训练。 选择题目： 问题描述 1、一个逻辑表达式如果对于其变元的任意一种取值都为真，则称为重言式；反之对于其变元的任意一种取值都为假，则为矛盾式；然而，更多的情况下，既非重言式，也非矛盾式。试写一个程序，通过真值表判别一个逻辑表达式属于上述哪一类。 基本要求： （1）逻辑表达式从终端输入，长度不超过一行。逻辑运算符包括“|”，“”和“~”，分别表示或、与和非，运算优先程度递增，但可由括号改变，及括号内的运算优先。逻辑变元为大写字母。表达式中任何地方都可以含有多个空格符。 （2）若是重言式或矛盾式，可以只显示“True forever”或“False forever”，否则显示“Satisfactible”以及变量名序列，与用户交互。若用户对表达式中变量取定一组值，程序就求出并显示逻辑表达式的值。 （3）本程序先使用栈将逻辑表达式的变量进行储存，然后将栈中的元素作为二叉树的结点结构，然后根据优先级读取表达式建立二叉树，并通过逐个判断根实现对重言式的判别。 第二章 系统分析 1、逻辑表达式从终