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