Algèbre de Boole et les équations logiques