对任一依赖于命题变元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来列写