Mise-à-jour d'Algèbre de Boole