| 对任一依赖于命题变元P1…Pn的命题公式A来说,
可根据P1…Pn的真值给出A的真值, 从而建立起由P1…Pn到A的真值表。这个由公式列写真值表的过程是容易的。 反过来，若给定了由P1…Pn到A的真值表, 是否可以写出命题公式A对P1…Pn的逻辑表达式呢? 回答是肯定的。 例如有如图2.3.1所示的真值表, 可列写出A, B由P、Q表达的公式来。 一、从T来列写 从图2.3.1看A的真值T, 如何依赖于P、Q的真值。在图中的第一、第二和第四行，A值为T。即A取T有三种可能的情形, 或第一种情形, 或第二种情形, 或第三种情形。从而有 A = (…)1 ∨ (…)2 ∨(…)3 进而分析每种使A为真的情形。第一种情形是P = F Q = F同时出现, 也即  P∧Q出现(为真)。于是可将(…)1写成(P∧Q)。同理(…)2和(…)3应分别写成(P∧Q)和(P∧Q)。于是得A = ( P∧Q)∨(P∧Q)∨(P∧Q)同样可得 B = ( P∧Q)∨(P∧Q)考虑到对A来说, 取T的解释个数(为3)多于取F的解释个数(为1), 自然在真值表中补上 A列为好,
以便对A列写 A
= P∧Q便可得 A = (P∧Q)二、从F来列写 |