Logique ternaire

Abstract

Le but de ce projet est l'étude de la logique ternaire et de ses applications, l'algèbre de post(ou algèbre modulo x³ =x) est une suite naturelle de l'algèbre de Boole( ou algèbre modulo x²=x). L'algèbre de Boole permet de résoudre les problèmes d'alternatives(décision par oui ou non) et d'étudier des chaînes de contacts électriques (contactes ouverts ou fermés); cependant elle n'est plus suffisante pour l'étude de phénomènes comportant trois états comme les circuits électriques eux mêmes.