1. Synonyme antonomastique de bivalent.
2. Qui se rapporte à l’algèbre de Boole, à l’algèbre bivalente.Une variable de type booléen ne prend que deux valeurs : vrai ou faux.Inspirée par le fonctionnement des cellules nerveuses des organismes vivants, la logique neuromorphique propose une alternative à la logique booléenne. Ces concepts introduits en 1943 ont conduit à des applications relativement limitées jusqu'à ce jour.Je ne relaterai ici que quelques détails de ma thèse : la redécouverte par Kuntzmann et, partiellement, par moi-même, de la classification du grand logicien Emil Post sur les parties de fonctions booléennes, closes par composition et projection.

1. ProgrammationVariable qui ne peut prendre que les valeurs « vrai » ou « faux ».