1．问题描述一个逻辑表达式如果对于其变元的任一种取值都为真则称为重言式反之如果对于其变元的任一种取值都为假则称为矛盾式然而更多的情况下既非重言式也非矛盾式.试写一程序通过真值表判断一个逻辑表达式属于哪一类.2．需求分析1.逻辑表达式从终端输入长度不超过一行.逻辑运算符包括和分别表示或与和非运算优先程度递增但可以由括号改变即括号内的运算优先.逻辑变元为大写字母表达式中任何地方都可以含有多个空格符.2.若是重言式或矛盾式显示True forever或False forever否则显示Satisfactible.若用户对表达式中变元取一组值程序就求出并显示逻辑表达式的值.在判断的结果下方同时列出真值表.3.对于一个简单的表达式求值运算规则如下a从左至右依次计算.b先取反然后相与后相或.c先括号内后括号外.