1

我在试图简化的布尔表达式的最后一部分遇到了很多麻烦。到目前为止，我得到了（乘法是 AND，加法是 OR）：

(a * 'b * 'c) + ('a * 'b * c) + ('a * b *'c) + (a * 'b * c)

(a * 'b * 'c) + (a * 'b * c) + ('a * 'b * c) + ('a * b * 'c)

a(('b * 'c) + ('b * c)) + ('a * 'b * c) + ('a * b * 'c)

a('b(c + 'c)) + ('a * 'b * c) + ('a * b * 'c)

a('b(1)) + ('a * 'b * c) + ('a * b * 'c)

(a * 'b) + ('a * 'b * c) + ('a * b * 'c)

但是，我从 wolfram alpha 得到的答案是

(a * 'b) + ('b * c) + ('a * b * 'c)

我只是不知道如何完成最后一步。任何帮助，将不胜感激

4

1 回答 1

0

您的四个术语（其中任何一个都使整个表达式为真）是：

1/ a  b' c'
2/ a' b' c
3/ a' b  c'
4/ a  b' c

我们试图做的是消除不相关的项目，所以我们寻找两个项目相同的对。

要获得 Alpha 的结果，首先将 和 结合1起来4。那里的共性ab'因此c是真还是假是无关紧要的。而且，由于我们已经将它们组合在一起，因此表达式不再需要1也不2需要。

然后结合2和4。那里的共性b'c因此a没有效果。同样，将这两者结合起来意味着最终表达式中不再需要它们。

所以1,2和4消失了。3与任何其他子表达式之间没有两项共性，因此无法进一步简化。

这给了我们：

a^b'  v  b'^c  v  a'^b^c'
于 2017-08-29T07:50:28.287 回答