Si, dans une somme de produits booléens, un premier terme contient un
facteur a et un deuxième terme le facteur non a, alors le produit de
tous les facteurs contenus dans les deux termes , et différents de a
et de non a peut être ajouté à la somme de produits (ou supprimé de
cette somme lorsqu'il y est déjà)

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