重言式判别课程设计报告.docVIP

重言式判别-课程设计报告 导读：就爱阅读网友为您分享以下“重言式判别-课程设计报告”资讯，希望对您有所帮助，感谢您对92的支持! 合肥学院 计算机科学与技术系 课程设计报告 2016～2017学年第1学期 课程 数据结构与算法 重言式的判别 王 芳 1404011018 计算机科学与技术14级1班 李红 何立新 课程设计题目名称 学学专指业导班教生姓名 号 级 师 2016年9月 一、题目 【问题描述】 一个逻辑表达式如果对于其变元的任一种取值都为真，则称为重言式；反之，如果对于其变元的任一种取值都为假，则称为矛盾式；然而，更多的情况下，既非重言式，也非矛盾式。试写一个程序，通过真值表判别一个逻辑表达式属于上述哪一类。 【基本要求】 (1) 逻辑表达式从终端输入，长度不超过一行。逻辑运算符包括 “|”，”” 和 “~”，分别表示或、与和非，运算优先程度递增，但可由括号改变，即括号内的运算优先。逻辑变元为大写字母。表达式中任何地方都可以含有多个空格符。 (2) 若是重言式或矛盾式，可以只显示”True forever”，或”False forever”，否则显示 “Satisfactible” 以及变量名序列，与用户交互。若用户对表达式中变元取定一组值，程序就求出并显示逻辑表达式的值。 【测试数据】 (1) (A|~A)(B