TABLE DE VERITE

Une table de vérité (parfois appelée

fonction de vérité) est une table mathématique utilisée
en logique classique — en particulier le calcul
propositionnel classique et l’algèbre de Boole — pour
représenter de manière sémantique des expressions
logiques et calculer la valeur de leur fonction
relativement à chacun de leurs arguments fonctionnels
(chaque combinaison de valeur assumée par leurs
variables logiques). Les tables de vérité peuvent être
utilisées en particulier pour dire si une proposition est
vraie pour toutes les valeurs légitimement imputées,
c’est-à-dire : si une proposition est « logiquement valide
».
En pratique, une table de vérité est
composée d’une colonne pour chaque variable imputée
(A et B par exemple, ou p et q), et d’une colonne où
sont inscrits tous les résultats possibles de l’opération
logique représentée par le tableau (A XOR B par
exemple). Chaque ligne de la table de vérité contient
ainsi une des configurations possibles des variables
imputées (par exemple : A=vrai, B=faux), ainsi que le
résultat de l’opération pour ces valeurs.
Ces outils sont couramment utilisés
en mathématiques (logique propositionnelle), en
électronique (porte logique) et en informatique (tests)
selon un code d’entrée binaire (1 / 0, vrai / faux,
allumé / éteint, etc.) Une sortie, également représentée
sous forme de colonne, est la résultante des états
d’entrée, elle-même exprimée sous forme d’état
binaire. En d’autres termes, lorsque les entrées
remplissent les conditions du circuit, la (les) sortie est
activée.
Entrés Sortie
États État

1. Lire une table de vérité

 Une table de vérité est un tableau comportant
plusieurs colonnes,,. Les valeurs des cellules de ce
tableau sont appelées « valeurs de vérité » (1 ou V
pour vrai, 0 ou F pour faux) en mathématiques, et «
états logiques » (1 ou V pour activé, 0 ou F pour
désactivé) en électronique.
 Les colonnes de gauche définissent les valeurs de
vérité de différentes propositions en
mathématiques (logique propositionnelle), ou les
états logiques de différentes entrées logiques en
électronique.
 La colonne de droite indique la valeur de vérité de
l’expression logique en mathématiques, ou l’état de
sortie de la porte logique en électronique.
 Optionnellement, on peut également trouver des
colonnes au centre du tableau précisant des calculs
intermédiaires.
Exemples de base
Les quatre tables de vérité présentées ci-dessous
permettent de définir les connecteurs logiques et, ou,
ou exclusif et implication en mathématiques, ou les
portes logiques correspondantes en électronique.
Par exemple, en langage électronique, nous devons
avoir les deux entrées à 1 pour que la sortie de la porte
logique ET soit activée ; alors que la porte logique OU

n’a besoin que d’une des entrées à 1 pour afficher un 1

à la sortie ; ou encore nous devons avoir a et b ayant la
même entrée ou que a soit FAUX et b soit VRAI pour
avoir un 1 en sortie pour la porte logique de
l’implication.
Exemple composé

Le ∧ se lit et, le ∨ se lit ou.

Les trois premières colonnes de ce tableau fournissent
les valeurs de vérité de a, b et c (par ex. des
propositions logiques en mathématiques, ou des états
logiques en électronique).
La 4e colonne fournit les valeurs de vérité de : b ou c.
La 5e colonne fournit les valeurs de vérité de : a et (b ou
c).
2. OPERATIONS UNAIRES
Il existe 4 opérations unaires (ne requérant qu’un seul
argument ou opérande, ici « p ») : fausseté (F), vérité
(V), identité (p) et négation (¬p) ; et voici leurs tables
de vérité respectives.
  Faux logique

 Vrai logique

 Identité logique
L’identité logique est une opération appliquée à un
énoncé logique — typiquement une proposition (p) —
afin d’en établir la valeur de vérité : vraie dans le cas
où l’opérande est vrai, et fausse lorsqu’il est faux.
  Négation logique
La négation logique est une opération qui inverse la
valeur de l’opérande auquel elle est appliquée : il prend
valeur de faux lorsqu’il est vrai, et de vrai lorsqu’il est
faux. L’opérateur de la négation est symbolisé par les
signes « ¬ » ou « ~ ».

3. OPERATIONS BINAIRES
Une opération binaire est une opération à deux
arguments (p et q par exemple), chacun pouvant être
vrai ou faux (p {V, F} ; q {V, F}) : leur combinaison (p x
q) donne ainsi 2² = 4 manières de combiner leur valeur
de vérité
Chacune de ces 2² combinaisons d’entrée ayant elles-
mêmes deux résultats possibles (« [{V, F} x {V, F}] →
{V,F} »), on obtient ainsi 4² = 16 fonctions de vérité,
décrites par les 16 colonnes de la table suivante :

Où V = vrai et F = Faux.
On a également que les opérateurs ꓕ, ↓, ⊕, ↑, ꓥ, ↔, ꓦ,
et T sont commutatifs – P opérateur Q = Q opérateur P.

 Conjonction logique (ET)

Une conjonction logique est une opération logique sur
deux valeurs de vérité, typiquement les valeurs de
deux propositions, qui produit une valeur vraie si ses
deux opérandes sont vrais.
 Disjonction logique (OU)
Une disjonction logique est une opération logique sur
deux valeurs de vérité, typiquement les valeurs de
deux propositions, qui produit une valeur vraie si au
moins un des opérandes est vrai.
 Implication logique
Une implication logique est une opération logique sur
deux valeurs de vérité, typiquement les valeurs de
deux propositions, qui produit une valeur fausse
seulement dans le cas où le premier opérande est vrai,
et le second est faux.
 Équivalence logique
Une équivalence logique (également connue sous le
nom de biconditionnelle) est une opération logique sur
deux valeurs de vérité, typiquement les valeurs de
deux propositions, qui produit une valeur vraie si les
deux opérandes sont faux ou vrais.
 Disjonction exclusive
Une disjonction exclusive est une opération logique sur
deux valeurs de vérité, typiquement les valeurs de
deux propositions, qui produit une valeur vraie si une et
une seule des deux des opérandes est une valeur vraie.
 Implication logique
Une implication logique est une opération logique sur
deux valeurs de vérité, typiquement les valeurs de
deux propositions, qui produit une valeur fausse
seulement dans le cas où le premier opérande est vrai,
et le second est faux.
 Équivalence logique
Une équivalence logique (également connue sous le
nom de biconditionnelle) est une opération logique sur
deux valeurs de vérité, typiquement les valeurs de
deux propositions, qui produit une valeur vraie si les
deux opérandes sont faux ou vrais.
 Disjonction exclusive
Une disjonction exclusive est une opération logique sur
deux valeurs de vérité, typiquement les valeurs de
deux propositions, qui produit une valeur vraie si une et
une seule des deux des opérandes est une valeur vraie.
 NON-ET logique
Le NON-ET est une opération logique sur deux valeurs
de vérité, typiquement les valeurs de deux propositions,
qui produit une valeur fausse si les deux opérandes
sont vrais. En d’autres termes, il produit une valeur
vraie si au moins un de ses opérandes est faux.
Il est souvent utile d’exprimer une opération logique
comme une opération composée, qui est construite ou
composé d’autres opérations logiques. Beaucoup de ces
compositions sont possibles et dépendent des
opérations qui sont prises comme base, et les
opérations qui sont prises en composite.
 NON-OU logique
Le NON-OU logique est une opération logique sur deux
valeurs de vérité, typiquement les valeurs de deux
propositions, qui produit une valeur vraie si ses deux
opérandes sont fausses. En d’autres termes, il produit
une valeur fausse, si au moins l’un de ses opérandes
est vrai.
4. APPLICATION
Les tables de vérité peuvent être utilisées pour prouver
beaucoup d’autres équivalences logique. Par exemple,
considérons la table de vérité suivante :
Ceci démontre que p → q est logiquement équivalent à
¬p ∨ q.