布尔表达式混淆

Question

A = S•T + V•W + R•S•T

（其中•是AND而+是OR）

给出的答案说，使用了可交换和分配的法律。但是，我无法得到答案。

我使用交换和分配来制作

    A = S•T + R•S•T + V•W
    A = S•T + S•T•R + V•W
    A = (S•T + S•T)•R + V•W
    A = S•T•R + V•W

而答案是：

    A = S•T + V•W

和Wolfram Alpha证实了答案。我只是想知道它是如何完成的。

Answer 1

只是R*S*T字词是多余的，因为表达式中已经有S*T，因此R的状态无关紧要。

更正式：

A = S•T + R•S•T + V•W

收集条款：

A = (1+R)•S•T + V•W 

1+R = 1，请将其删除以获取：

A = S•T + V•W

Answer 2

让我们看看这一点：

S•T + R•S•T

OR的右侧可以完全忽略，因为它定义了OR左侧的一个子集。如果S•T为真，那么S•T+anything将为真