Introduction
Pour traiter les systèmes logiques, on utilise l'algèbre de Boole, mise au point par le mathématicien anglais Georges Boole (1815-1864).
C'est l'ensemble \(B = \{0,1\}\) muni des lois "\(.\)" (fonction ET), "\(+\)" (fonction OU) ainsi que la négation (notée par une barre horizontale tracée au-dessus du texte).