命题逻辑真值表

You likely learned about the distributive property in your middle school algebra class. The distributive rule says that a term multiplied by two or more terms in parentheses is applied to each of those terms individually. For instance:

您可能在中学代数课中了解了分配属性。 分配规则说，一个术语乘以两个或多个括号中的术语将分别应用于每个术语。 例如：

2(3 + 4) = (2)3 + (2)4 = 6 + 8 = 14.

2（3 + 4）=（2）3 +（2）4 = 6 + 8 = 14。

In propositional logic, the distributive property is similar but with one key difference — logical connectives between terms must be flipped when the distribution takes place. In other words, each term is negated and any ands become ors and vice versa. More formally:

在命题逻辑中，分配属性相似，但有一个关键的区别-分配发生时，项之间的逻辑连接必须翻转。 换句话说，每个术语都被取反，任何和变成或变成s，反之亦然。 更正式地：

¬(P and Q) → ¬P or ¬Q

¬（P 和 Q）→¬P 或 ¬Q

翻译自:

命题逻辑真值表