重言式判别-课程设计报告(共32页).doc

精选优质文档-倾情为你奉上合肥学院计算机科学与技术系课程设计报告20162017学年第1学期课程 数据结构与算法课程设计题目名称重言式的判别学生姓名王 芳学号专业班级计算机科学与技术14级1班指导教师李红 何立新2016年9月一、题目【问题描述】一个逻辑表达式如果对于其变元的任一种取值都为真，则称为重言式；反之，如果对于其变元的任一种取值都为假，则称为矛盾式；然而，更多的情况下，既非重言式，也非矛盾式。试写一个程序，通过真值表判别一个逻辑表达式属于上述哪一类。【基本要求】(1) 逻辑表达式从终端输入，长度不超过一行。逻辑运算符包括 |，& 和 ，分别表示或、与和非，运算优先程度递增，但可由括号改变，即括号内的运算优先。逻辑变元为大写字母。表达式中任何地方都可以含有多个空格符。(2) 若是重言式或矛盾式，可以只显示True forever，或False forever，否则显示 Satisfactible