Stav dette: L'algèbre de boole