[求助]重言式的判别
严蔚敏版实验5.1的,没什么头绪,大家帮帮忙,讲一下思路吧,
我还是写出来吧
问题描述
一个逻辑表达式如果对于其变无的任一种取值都为真.,则称为重言式,反之,如果对于变元的任一种取值都为假则为矛盾式,然而是更多情况下既非重言式,也非矛盾式,,写一个程序判断
基本要求
逻辑表达式从终端输和,长度不超过一行,逻辑运算符包括,| & ~分别表示或 与 非,运算优先程度递增,但可由括号改变,即括号内的优先,逻辑变无为大写字母,表达式中任何地方都可以含有多个空格符,
若是重言式或矛盾式可以只显示 TRUE或 FALSE否则显示 SATISFACTIBLE以及变量名序列 与用户交互,若用记对表达式中变元妈一定取,程序就求出并显示逻辑表达式的值
按先序遍历建立二叉树的方法
要怎么判断它是重言的还是矛盾的呢,在只有字符表达的情况下