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