a(A+B)+b(A+B)