数据结构题集中“重言式的判别”1、逻辑表达式从终端输入，长度不超过一行。 2、逻辑运算符包括“|”“&”“~”表示或 与 非。运算符优先程度递增，但是可由括号改变。 3、逻辑变元为大写字母表达式中任何地方都可以含有多个空格符。 4、运用自底向上的算符优先法 5、重言式显示“true forever” 矛盾式显示“false forever”； 否则显示“satisfactible”。 -Data structure that centralized tautol