boolean-logic - Max 項を使用したブール代数

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

同じことを 2 つの異なる方法で表現しているだけです。

目標が最小化である場合、各用語を一度しか参照しないため、ソリューションは「より良い」と主張します。

このような場合、 Wolfram Alphaはあなたの味方です。