上：左辺を分配律で展開したら、BCの項に(A+A^)を掛けて展開、吸収律適用。
下：（左辺でもいいけどたぶん慣れてると思う方の）右辺を分配律で展開、吸収律適用。