课程设计报告重言式的判别

《课程设计报告重言式的判别》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、合肥曇院针算机科巻鸟啟求系课程设计报告2011〜2012学年第2学期课程数据结构与算法课程设计名称重言式的判别学生姓名学号100403100*专业班级10网络工程（1）指导教师2012年6月目录1、题目32、问题分析和任务定义43、数据结构的选择和概要设计54、详细设计和编码85、上机调试过程176、测试结果及其分析197、用户使用说明208、参考文献209、附录（完整程序代码）21【为方便学弟们，本报告后面附录完整代码，冃录附两张浏览图，使用时，请删除本括号中的内容和浏览图】D:JMSOFTCYuYanbinv-rwtemp.exe4D:JMSOFTCY

2、uYanbinv/wtemp.exeAB逻辑表达式的值II11000IIII011II11101II11111III:否继续？（能迷纟卖，其它退岀）rrr重新开始退出是否继续?（Y继续，其它退出）mIIvnr十*r人mii口ijym浏览图1-2浏览图1-1■■■■■■■■■■■■■■■■■■■■■■■■■■■合肥学院计科系10网络工程（1）班■■■■数据结构课程设计■■■■——重言式的判别■■■■阮照进2012.06.10■■■■■■■■■■■■■■■■■■■■■■■■■■■■■情输入逻辑表达式的变量的个数：■■■■5■■■■请输入逻辑表达式的表达式:例如

3、（~A

4、B就）■■a

5、b

6、c

7、d

8、e

9、"a・■■请选择你要的操作■■■■■■■■■■■■■■■■1计算机自动穷举■■■■2用户自定义设置■■■■3■■0情选择你要的操作：1慳讎达式:aIbIcIdIeRaTrueforever第一章题目“数据结构与算法课程设计”是计算机科学与技术专业学生的集中实践性环节之一，是学习“数据结构与算法”理论和实验课程后进行的一次全面的综合练习。其目的是要达到理论与实际应用相结合，提高学生组织数据及编写程序的能力，使学生能够根据问题要求和数据对象的特性，学会数据组织的方法，把现实世界中的实际问题在计算机内部表示出來并用软件解决问题，培养良好的

10、程序设计技能。内容：【问题描述】一个逻辑表达式如果对于其变元的任一•种取值都为真，则称为重言式；反Z,如果对于其变元的任一种取值都为假，则称为矛盾式；然而，更多的情况下，既非重言式，也非矛盾式。试写一个程序，通过真值表判别一个逻辑表达式屈于上述哪一类。【基本要求】(1)逻辑表达式从终端输入，长度不超过一行。逻辑运算符包括〃丨〃，〃&〃和〃”，分别表示或、与和非，运算优先程度递增，但可由括号改变，即括号内的运算优先。逻辑变元为大写字母。表达式中任何地方都可以含有多个空格符。(2)若是重言式或矛盾式，可以只显示"Trueforever",或"Falseforever",否则

11、显示"Satisfactible"以及变量名序列，与用户交互。若用户对表达式中变元取定一组值，程序就求出并显示逻辑表达式的值。【测试数据】(1)(A

12、~A)&(B

13、~B)(2)(AO)&C(3)A

14、B

15、C

16、D

17、EpA(4)A&B&C&〜B(5)(A

18、B)&(A广B)(6)A&~B广A&B第二章问题分析和任务定义1、一个逻辑表达式如果对于其变元的任一种取值均为真，则称为重言式；反之，如果对于其变元的任一种取值都为假，则称为矛盾式，然而，更多的情况下，既非重言式，也非矛盾式，写一个程序通过真值表判别一个逻辑表达式属于上述哪一类。基木要求如下：2、逻辑表达式从终端输入，长度不

19、超过一行。逻辑运算符包括“丨”、“&”、，分别表示或、与、非，运算优先程度递增，但可有括号改变，即括号内的运算优先。逻辑变元为大写字母。表达式中任何地方都可以含有多个空格符。3、若是重言式或矛盾式，可以只显示“TrueForever”或"FalseForever”,否则显示运算中每种赋值和与其相对应的表达式的值。4、本程序先使用栈将逻辑表达式的变量进行存储，然后将栈中的元素作为二叉树的结点结构，然后根据优先级读取表达式建立二叉树，并通过逐个判断实现对重言式的判别。5、程序执行的命令：输入逻辑表达式。判断表达式是重言式述是矛盾式。退出程序。6、细节设置为实现用户更好的操作

20、，程序应允许在表达式中插入多个空格，对大小写没有特殊要求,并含有较多的提示信息，一方便用户操作。第三章数据结构的选择和概要设计流程图本章主要介绍1、数据结构的设计〃根据表达式建立的二叉树的结点定义，由于表达式的求值类似二叉树的中序遍历，故我们可以ijiang表达式构造为一个二叉树；typedefstruetbtdnode{}*bitree;//识别表达式使用的堆栈定义，它存放的都是树的结构，鉴于逻辑符号的优先不同，我们需要用到堆栈；typedefstructlnode_optr{}sqstack;2、算法的设计木设计从总体上划分可分为四个