先举个例子,P的真值表如下图:
P由3个逻辑变量X、Y、Z决定。对于X、Y、Z的每一个可能的取值组合,真值表给出了P对应的值。
依真值表构造复合命题P。
对变量X,Y,Z的每一中使复合命题P成真,也就是使P=1的组合,
比如我们这个真值表里,使P=1的组合有:
X=0,Y=0,Z=0
X=0,Y=1,Z=0
X=0,Y=1,Z=1
X=1,Y=0,Z=0
X=1,Y=0,Z=1
用变量X,Y,Z或者它们的否定¬X,¬Y,¬Z做合取,比如:
对于X=0,Y=0,Z=0的合取是:¬X ∧ ¬Y ∧ ¬Z
对于X=0,Y=1,Z=0的合取是:¬X ∧ Y ∧ ¬Z
对于X=0,Y=1,Z=1的合取是:¬X ∧ Y ∧ Z
对于X=1,Y=0,Z=0的合取是:X ∧ ¬Y ∧ ¬Z
对于X=1,Y=0,Z=1的合取是:X ∧ ¬Y ∧ Z
再对所有的合取做析取,就是:
(¬X ∧ ¬Y ∧ ¬Z) ∨ (¬X ∧ Y ∧ ¬Z) ∨ (¬X ∧ Y ∧ Z) ∨ (X ∧ ¬Y ∧ ¬Z) ∨ (X ∧ ¬Y ∧ Z)
关于功能完备:
一组逻辑运算符,比如我们上面用了:与∧、或∨、非¬ 这3个运算符。
所有复合命题都可以由 “与或非” 这3个运算符得出,所以它们组成一组功能完备的运算符。
类似的功能完备的运算符还有:
与非:因为 “或” 可以由 “与非” 表示:X ∨ Y = ¬ (¬X ∧ ¬Y)
或非:因为 “与” 可以由 “或非” 表示:X ∧ Y = ¬ (¬X ∨ ¬Y)
……