Dictionnaire breton des sciences et des techniques

mathématiques , informatique , logique ◊ branche du calcul des propositions qui étend l'algèbre de Boole, en considérant, en plus des états VRAI et FAUX, l'état INCONNU