boolean 表达式混淆

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