逻辑表达式设计报告.doc

1.2万字 有程序代码
目的：熟练掌握二叉树的存储结构及其基本操作（包括二叉树的建立、遍历等）。
2.一个逻辑表达式如果对于其变元的任一种取值都为真，则称为重言式；反之，如果对于其变元的任一种取值都为假，则称为矛盾式；然而，更多情况下，既非重言式，也非矛盾式。试写一程序，通过真值表判别表达式属于上述哪一类。
　　3.逻辑表达式从终端输入，长度不超过一行。逻辑运算符包括“|”，“&”，“～”，分别表示或、与和非，运算优先程度递增，但可以由括号改变，即括号内的运算优先。逻辑变元为大写字母。表达式中任何地方都可以包含多个空格符。
4.若是重言式或矛盾式，则显示“True forever”或“False forever”，否则显示“Statisfactible”以及变量名序列，供用户输入各变量名的值，程序然后显示表达式的值。
5. 程序执行的命令包括：
(1) 输入逻辑表达式的变量的个数；（2）输入逻辑表达式的表达式(或用'|',与用'&'和非用'~')；（3）选择需要的操作；（4）结束。
　　6．测试数据：
　　（1）（A | ～A）& （B | ～B）
　　（2）（A &～A）& C
　　（3）A | B | C | D | E | ～A
　　（4）A & B & C & ～B
　　（5）（A | B ）&（A | ～B）
（6）A & ～B | ～A &B;0,0;0,1;1,0;1,1。
7选做内容：
逻辑变元的标识符可以是任意长的字母数字串。还可以根据用户的要求显示表达式的真值表。