2
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 确认了答案。我只是想知道它是如何完成的。

4

2 回答 2

2

只是该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
于 2013-11-11T16:27:10.850 回答
1

让我们看看这一点:

S•T + R•S•T

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

于 2013-11-11T16:26:34.600 回答