组合逻辑运算符

Question

我有一个形式的表达式

A or A and B

我们可以通过其他方式表示表达式更简洁地表示它吗？

Answer 1

如前所述，表达方式可能有些含糊。它可以通过两种方式进行解释：

(A or A) and B

显然A or A在逻辑上等价于A，所以在这种情况下整个语句就等价于A and B

更有可能，这应该被理解为

A or (A and B)

让我们为此写一个真值表

A B | A or (A and B) | result
-----------------------------
0 0 | 0 or (0 and 0) | 0
0 1 | 0 or (0 and 1) | 0
1 0 | 1 or (1 and 0) | 1
1 1 | 1 or (1 and 1) | 1

现在您可以很清楚地看到，在这种情况下，该语句等效于单独的A。