Mise à jour d'Algèbre de Boole