布尔逻辑或重排

Question

假设我们有以下表达式：（¬Pv¬Q）v（P v Q）

我可以将表达式重新排列为：（¬Pv P）v（¬Qv Q）吗？

如果是，为什么允许这样做？因为表达式中包含所有OR？

Answer 1

此处的“或”逻辑运算符具有两个重要特征：它是关联的（表示a V (b V c) = (a V b) V c）和可交换的（表示a V b = b V a）。 第一个属性使您可以忽略一系列“ OR”中的括号，第二个属性使您可以重新排列它们的顺序，但您认为合适。