論理式の変形によって解く説明を追加していただいてありがとうございます。
しかし、説明の一部に誤りがあります。（Aの否定をaとします）

現在、
//A＋a＝0を適用
とありますが、

正しくは
//A・a＝0を適用
です。

論理式を理解している人間にとっては小さな誤りですが、
勉強中の方が激しく混乱する可能性があります。
お疲れだとは思いますが、修正をお願いします。

カルノー図もありさん

ご報告ありがとうございます。
早速訂正させていただきました。

今後とも当サイトをよろしくお願い致します。