组合逻辑运算符
Combining logical operators
我有一个
形式的表达式
A or A and B
我们可以用其他方式表示表达式来更简洁地表示它吗？
如前所述，表达式可能有些含糊。它可以通过两种方式解释：
(A or A) and B
显然 A or A 在逻辑上等同于 A，所以在这种情况下整个语句简单地等同于 A and B
更有可能的是，这应该被解读为
A or (A and B)
为此写一个真相table
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。
我有一个
形式的表达式A or A and B
我们可以用其他方式表示表达式来更简洁地表示它吗？
如前所述，表达式可能有些含糊。它可以通过两种方式解释：
(A or A) and B
显然 A or A 在逻辑上等同于 A，所以在这种情况下整个语句简单地等同于 A and B
更有可能的是，这应该被解读为
A or (A and B)
为此写一个真相table
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。