要求见严蔚敏习题集P148—5.1 要求见严蔚敏习题集P148—5.1 要求见严蔚敏习题集P148—5.13. 重言式判别

重言式判别源码及课程设计 c语言版 自用作业 代码可用

1.逻辑表达式从终端输入，长度不超过一行，逻辑运算符包括"|","&"和"~",分别表示或，与和非，运算符的优先程度递增，但可有括号改变，即括号内的运算优先。逻辑变元为大写字母。表达式中的任何地方都可以含有多个空格符。 2.若是重言式或矛盾式，可以只显示"True forever"或"False forever", 否则显示"Satisfactible"以及变量名序列，与用户交互。若用户对表达式中变元取定一组值，程序就求出表达式的值。 3.程序要求必须输入语法正确的表达式，程序没有语法检查功能。 4.本程序在vs2008下编译通过。

c语言写的重言式判别c语言写的重言式判别c语言写的重言式判别c语言写的重言式判别

实现重言式判别，编程语言为c++语言 数据结构上机实验