a + ab = a

a + ab + ac = a


plus compliqué:


a + (non a).b = a + b


(non a) + a.b = (non a) + b