Algèbre décrivant des fonctions de variables susceptibles de prendre deux valeurs distinctes et seulement deux.
Le Formacode® v.13 :