Simplification de l’union

Cette règle est vraiment très simple et assez évidente. Elle vise à faire disparaître les booléens unions inutiles.

Si un booléen union est formé par deux booléens (a,b) et si a est absent de toutes les grilles, alors le booléen union (a,b) peut être remplacé par le booléen simple b.

Par convention, si un booléen union formé par (a,b) existe et qu’aucun booléen simple a ou b n’est présent dans les grilles, alors le booléen (a,b) est remplacé par a.