图2.3.1
从图2.3.1看B的真值F, 如何依赖于P、Q的真值。在图中的第三、第四行，B值为F。即B取F有两种可能的情形, 或第一种情形, 或第二种情形。从而有
B = (…)1∧(…)2
进而分析每种使B为假的情形。第一种情形是P = T Q = F出现, 也即
P∨Q为假,
于是可将(…)1写成(P∨Q)。同理(…)2写成(P∨Q)。于是得B = (
P∨Q)∧(P∨Q)同样可得
A = (
P∨Q)要注意的是这两种列写公式的区别, 首先是区分从T还是从F来列写, 分别得到
(·∧·)∨(·∧·)∨(·∧·)
形和
(·∨·)∧(·∨·)∧(·∨·)
形的不同结构。再者, 在填写文字P、Q时, 何时加否定也是有区别的。
再有当列写公式C时, 因图2.3.1中对解释{P、Q} = {T, T}时, C取何值可任意, 或说C与{P, Q} = {T, T}无关, 这时可适当选取C的真值, 以使C的表达式简单。