重言式判别设计报告.docVIP

合肥学院 计算机科学与技术系 课程设计报告 2012 ～2013 学年第二学期 课程 数据结构与算法 课程设计名称 重言式判别 专业班级 12计本（1） 指导教师 胡春玲 龙夏 2014年6 月 题目：重言式判别 内容：判断一个输入的逻辑表达式是属于重言式、矛盾式还是非重言非矛盾式。 1、问题分析和任务定义 任务定义：(1) 逻辑表达式从终端输入，长度不超过一行。逻辑运算符包括 |， 和 ~，分别表示或、与和非，运算优先程度递增，但可由括号改变，即括号内的运算优先。逻辑变元 为大写字母。表达式中任何地方都可以含有多个空格符。 (2) 若是重言式或矛盾式，可以只显示True forever，或False forever，否则显示 Satisfactible 以及变量名序列，与用户交互。若用户对表达式中变元取定一组值，程序就求出并显示逻辑表达式的值。 问题分析: 1、 一个逻辑表达式如果对于其变元的任一种取值均为真，则称为重言式；反之，如果对于其变元的任一种取值都为假，则称为矛盾式，然而，更多的情况下，既非重言式，也非矛盾式，写一个程序通过真值表判别一个逻辑表达式属于上述哪一类。基本要求如下： 2、 逻辑表达式从终端输入，长度不超过一行。逻辑运算符包括“|”、“”、“~”，分别表示或、与、非，运算优先程度递增，但可有括号改变，即括号内的运算优先。逻辑变元为大写字母。表达