__
(A+B).(AB)