精选优质文档-倾情为你奉上实习报告题目：重言式判别班级：计算机学院 姓名：卢魏旭 学号： 完成日期：2012年11月一、 需求分析试写一个程序，通过真值表判断一个逻辑表达式属于哪一类的表达式基本要求：1） 逻辑表达式从终端输入，长度不超过一行，逻辑运算符包括“|”，“&”和“”，分别表示或，与和非，运算优先程度递增，但可以由括号改变，即括号内的运算符优先。逻辑变元为大写字母，表达式中任意地方都可以含有空格符。2） 若是重言式或者矛盾式，可以只显示“True forever”或者“False forever”，否者显示“Statisfactible”，与用户交互，若用户对表达式中变元取定一组值，程序就求出并显示逻辑表达式的值。3） 附加要求，可以根据用户要求，列出该逻辑表达式的真值表。测试数据：1) (A|A)&(B|B)2) (A&A)&C3) A|B|C|D|E|A二、 概要设计为实现上述程序功能，以二叉树的结构来存储逻辑表达式，通过一个辅助栈来完成建树过程二叉树的抽象数据类型定义为：A
