离散数学 及 其应用中的一个问题,求大神来给我解释下

2025-05-23 01:36:13
推荐回答(1个)
回答1:

先举个例子,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)

……