Logique ternaire

Logique ternaire

La logique ternaire, ou logique 3 états, est une 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.

Sommaire

Tables de vérité

Dans la logique ternaire de Stephen Cole Kleene, les tables de vérité des fonctions de base sont les suivantes :

A B A OU B A ET B NON A A implique B
Vrai Vrai Vrai Vrai Faux Vrai
Vrai Inconnu Vrai Inconnu Faux Inconnu
Vrai Faux Vrai Faux Faux Faux
Inconnu Vrai Vrai Inconnu Inconnu Vrai
Inconnu Inconnu Inconnu Inconnu Inconnu Inconnu
Inconnu Faux Inconnu Faux Inconnu Inconnu
Faux Vrai Vrai Faux Vrai Vrai
Faux Inconnu Inconnu Faux Vrai Vrai
Faux Faux Faux Faux Vrai Vrai

D'une certaine manière, ces propriétés correspondent à l'intuition : par exemple, si on ignore si A est vrai ou faux, son inverse est tout aussi incertain.

Les autres fonctions logiques se déduisent de par leur définition, la distributivité continuant à s'appliquer. Par exemple A NAND B, si A est Faux et B Inconnu, vaut NON(A ET B), soit NON(Faux), donc Vrai.

En électronique

En électronique numérique, une sortie vaut 0 quand elle est connectée à la masse, 1 quand elle est connectée à la source de tension. Une sortie à trois états prend en compte la possibilité d'un troisième état, l'état de haute impédance, qui se produit quand physiquement, la sortie n'est plus connectée à rien, ce qui donne une tension indéterminée.

En VHDL, le type de variable std_logic (qui reflète la norme IEEE 1164) prévoit pas moins de 9 valeurs : 0, 1, X (inconnu à cause d'un conflit), U (non initialisé), Z (haute impédance), L, H (signaux faibles respectivement déterminés comme valant 0 et 1), W (signal faible ne pouvant être déterminé), et - (indifférent, ce qui signifie que cette valeur peut être choisie à la valeur qui convient pour simplifier les équations)[1].

En informatique

En SQL, les variables de type booléen peuvent prendre, en plus des valeurs vrai et faux, la valeur NULL. Une variable booléenne non initialisée, ou une opération avec une variable numérique elle-même non initialisée (dont la valeur est aussi appelée NULL) renvoient le booléen NULL (4<NULL, NULL étant ici le NULL des nombres, renvoie le NULL des booléens).

Quand on manipule un NULL booléen dans les opérations logiques, la logique ternaire s'applique. "IF A THEN [instructions]" conduit à ne pas exécuter les instructions si A est NULL.

Voir aussi

Références


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Logique ternaire de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • logique ternaire — trireikšmė logika statusas T sritis automatika atitikmenys: angl. ternary logic; three value logic vok. dreiwertige Logik, f; ternäre Logik, f rus. трехзначная логика, f; троичная логика, f pranc. logique ternaire, f …   Automatikos terminų žodynas

  • Système ternaire — Système trinaire Le système trinaire ou ternaire est le système de numération de la base 3. Les chiffres ternaires sont connus sous le nom trit (trinary digit), de manière analogue à bit. Bien que la plupart du temps, cela fait référence à un… …   Wikipédia en Français

  • Système trinaire — Le système ternaire (ou trinaire) est le système de numération utilisant la base trois. Les chiffres ternaires sont connus sous le nom trit (trinary digit), de manière analogue à bit. Bien que la plupart du temps, cela fait référence à un système …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Algebre de Kleene — Algèbre de Kleene En mathématiques, une algèbre de Kleene (du nom du logicien américain Stephen Cole Kleene) correspond à l un des deux concepts suivants : Un treillis ordonné et distributif avec une involution satisfaisant les lois de De… …   Wikipédia en Français

  • Algèbre De Kleene — En mathématiques, une algèbre de Kleene (du nom du logicien américain Stephen Cole Kleene) correspond à l un des deux concepts suivants : Un treillis ordonné et distributif avec une involution satisfaisant les lois de De Morgan et l… …   Wikipédia en Français

  • Algèbre de Kleene — Pour les articles homonymes, voir Algèbre (homonymie). En mathématiques, une algèbre de Kleene (du nom du logicien américain Stephen Cole Kleene) correspond à l un des deux concepts suivants : Un treillis ordonné et distributif avec une… …   Wikipédia en Français

  • Algèbre de kleene — En mathématiques, une algèbre de Kleene (du nom du logicien américain Stephen Cole Kleene) correspond à l un des deux concepts suivants : Un treillis ordonné et distributif avec une involution satisfaisant les lois de De Morgan et l… …   Wikipédia en Français

  • Algebre de Post — Algèbre de Post L algèbre de Post correspond à la première logique à valeurs multiples développée en 1921 par Emil Post. C est la généralisation de l algèbre booléenne. De nos jours, l algèbre de Post est utilisée pour créer des processeurs dans… …   Wikipédia en Français

  • Algèbre De Post — L algèbre de Post correspond à la première logique à valeurs multiples développée en 1921 par Emil Post. C est la généralisation de l algèbre booléenne. De nos jours, l algèbre de Post est utilisée pour créer des processeurs dans un système à… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”