命题公式演算系统的源代码

【文件属性】：
文件名称：命题公式演算系统的源代码
文件大小：8KB
文件格式：CPP
更新时间：2012-12-24 04:59:47
命题公式，演算，代码 所谓命题演算公式是指由逻辑变量（其值为TRUE或FALSE）和逻辑运算符∧（AND）、∨（OR）和┐（NOT）按一定规则所组成的公式（蕴含之类的运算可以用∧、∨和┐来表示）。公式运算的先后顺序为┐、∧、∨，而括号（）可以改变优先次序。已知一个命题演算公式及各变量的值，要求设计一个程序来计算公式的真值。