AND、∨OR和┐NOT按一定规则所组成的公式蕴含之类的运算可以 用∧、∨和┐来表示。公式运算的先后顺序为┐、∧、∨而括号可以改 变优先次序。已知一个命题演算公式及各变量的值要求设计一个程序来计算公 式的真值。 菜单可以运行，功能比较齐全，内附着两个题目