これの(1)の途中式がよくわかんない
なんか二重で括り出してない?
なんでこれ許されるの?
https://i.imgur.com/73B9wqq.jpg

AB + A¬B + ¬A¬B
=A(B+¬B) +¬A¬B

こうならないのが意味分からん(●`ε´●)