Coïncidence (informatique)

Si ce bandeau n'est plus pertinent, retirez-le. Cliquez ici pour en savoir plus.

Cet article ne cite aucune source et peut contenir des informations erronées (signalé en mars 2026).

Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en citant les références utiles à sa vérifiabilité ».

Trouver des sources sur « Coïncidence (informatique) » :

Diagramme de Venn de

A\odot B

Diagramme de Venn de la

coïncidence à trois entrées,
parfois notée $\bigodot (A,B,C)$ mais
qui n'est pas la même chose que
$A\odot B\odot C=(A\odot B)\odot C$
$=A\odot (B\odot C)$

Diagramme de Venn de

$A\odot B\odot C=(A\odot B)\odot C$
$~\odot ~$ $~\Leftrightarrow ~$
$=A\odot (B\odot C)$
$~\odot ~$ $~\Leftrightarrow ~$
identique à $A\oplus B\oplus C$
$=(A\oplus B)\oplus C$
$~\oplus ~$ $~\Leftrightarrow ~$
$=A\oplus (B\oplus C)$
$~\odot ~$ $~\Leftrightarrow ~$

En informatique, l'opérateur logique coïncidence, également NON-OU exclusif (XNOR) et équivalence logique, peut se définir par la phrase suivante :

« La sortie est VRAI si et seulement si les deux entrées sont identiques ».

On peut noter qu'il s'agit de la négation du OU exclusif, souvent noté XOR. On le nomme parfois (bien qu'abusivement) « identité » ou encore ET exclusif (XAND).

Son symbole est traditionnellement un point ("DOT" en anglais) dans un cercle : « ⊙ ».

Définition

Appelons A et B les deux opérandes considérés. Convenons de représenter leur valeur ainsi :

1 = VRAI

0 = FAUX

L'opérateur XNOR est défini par sa table de vérité, qui indique pour toutes les valeurs possibles de A et B la valeur du résultat S :

Entrée		Sortie
A	B	A XNOR B
0	0	1
0	1	0
1	0	0
1	1	1

Quelques propriétés mathématiques

$a\odot a=1$
$a\odot 0={\bar {a}}$
$a\odot 1=a$
$a\odot {\bar {a}}=0$
Commutativité $a\odot b=b\odot a$
Associativité $a\odot (b\odot c)=(a\odot b)\odot c=a\odot b\odot c$ mais $\bigodot (a,b,c)\neq a\odot b\odot c$
$a\odot b={\overline {a\oplus b}}$ et $a\odot b\odot c=a\oplus b\oplus c$ où $\oplus$ est le OU exclusif.
$a\odot b=ab+{\overline {a}}\cdot {\overline {b}}$
$a\odot b=0$ si et seulement si $a\neq b$

Application en électronique

Exemple d'utilisation : Les circuits intégrés TTL 7427, 7433 ou 7436 ou le circuit intégré CMOS 747266 intègrent quatre portes logiques du type NON-OU exclusif. Illustration : Exemple : La lampe s'allume si l'on appuie sur rien, ou si l'on appuie sur « a » et « b » simultanément.