设计一个判别重言式的程序，应用了二叉树及其遍历和栈的知识，要求可以由用户进行输入判别，或有计算机进行列举。拥有完整的文档资料

一个逻辑表达式如果对于其变元的任一种取值均为真，则成为重言式；反之，如果对于其变元的任一种取值都为假，则称为矛盾式，然而，更多的情况下，既非重言式，也非矛盾式。写一个程序通过真值表判别一个逻辑表达式属于上述哪一类。基本要求如下： （1）逻辑表达式从终端输入，长度不超过一行。逻辑运算符包括“｜”、“＆”和“～”，分别表示或、与和非，运算优先程度递增，但可有括号改变，即括号内的运算优先。逻辑变元为大写字母。表达式中任何地方都可以含有多个空格符。 （2）若是重言式或矛盾式，可以只显示“True Fo

实现一个重言式的判别程序。逻辑表达式从键盘输入，长度不超过一行；逻辑运算符包括“|”、“&”、“~”，分别表示或、与、非，运算优先程度递增，括号内的运算优先。 注释比较详细了！