所謂命題演算公式是指由邏輯變量（其值為TRUE或FALSE）和邏輯運算符AND、OR、NOT按一定規則所組成的公式（蘊含之類的運算可以用與或非來表示）。公式運算的先后順序為非、與、或，而括號（）可以改變優先次序。已知一個命題演算公式及各變量的值，要求設計一個程序來計算公式的真值.