重言式课程设计 　　1．一个逻辑表达式如果对于其变元的任一种取值都为真，则称为重言式；反之，如果对于其变元的任一种取值都为假，则称为矛盾式；然而，更多的情况下既非重言式，也非矛盾式。本演示程序通过真值表判别一个逻辑表达式属于上述哪一类。

　　2．在本演示程序中，逻辑表达式从终端输入，长度不超过一行。逻辑运算符包括“|”，“&”和“~”，分别表示或、与和非，运算优先程度递增，但可由括号改变，即括号内的运算符优先。逻辑变元为大写字母。表达式中任何地方都可以含有多个空格符。

　　3．若是重言式或矛盾式，可以只显示”Ture forever”或”False forever”,否则显示”Satisfactible”以及变量名序列，与用户交互。若用户对表达式中变元取定一组值，程序就求出并显示逻辑表达式的值。-Tautology course design