Geriadur ar skiantoù hag an teknikoù Dictionnaire des sciences et des techniques

mathématiques, logique, informatique ◊ 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