已知一个命题演算公式及各变量的值，求公式的真值。 显示表达式的真值表。 逻辑变元的标识符可以是任意长的字母数字串。逻辑运算使用 与-> & 或-> | 非-> ！