論理式の簡略化。

質問

L=A・(B・D+D¯・A)・{（C¯＋A)・B+B¯}
□¯はnot回路です。

上の式の簡略化の過程を教えてください。
お願いします。

回答No.1

noname#208507

たぶん，こうでしょう．

L=A・(B・D＋D¯・A)・{（C¯＋A)・B＋B¯ }
=(A・B・D＋A・D¯)・(B・C¯＋A・B＋B¯)
=(A・B・D＋A・D¯)・B・C¯＋(A・B・D＋A・D¯)・A・B＋(A・B・D＋A・D¯)・B¯
=A・B・C¯・D＋A・B・C¯・D¯＋A・B・D＋A・B・D¯＋A・D¯
=A・(B・C¯・D＋B・C¯・D¯＋B・D＋B・D¯＋D¯)
=A・(B・C¯・D＋B・C¯・D¯＋B＋D¯)
=A・(B・C¯＋B＋D¯)
=A・(B＋D¯)

補足

回答有難うございます。
しかし、3行目以降がよくわからないので、
説明してくださると助かります。

お願いします。