boolean-logic - 具有最大项的布尔代数

Question

我想简化以下表达式： F = (A+B+C)(A+B'+C)(A'+B+C)

我已经相应地简化了它。

F = (A+B+C)(A+B'+C)(A'+B+C)

F = (A+C)(A'+B+C)

F = AA' + AB + AC + A'C + BC + C

F = AB + C(A + A' + B + 1) = AB + C

但是，正确答案是 (A+C)(B+C)。在我的“当前”证明中我哪里出错了？我已经看到了解决方案，但我想知道为什么我目前的方法是错误的。

Answer 1

没有错——这只是表达同一件事的两种不同方式。

如果目标是最小化，我认为您的解决方案“更好”，因为它只引用每个术语一次。

在这种情况下， Wolfram Alpha是您的朋友。