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 : Le Circuit intégré 747266 TTL ou le circuit intégré CMOS 747266 intègre 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.

Équations

$S=a\odot b$

$S={\overline {a\oplus b}}$

$S=ab+{\overline {a}}{\overline {b}}$

Symbole IEC

Symbole Informatique

En HTML, on le note ⊙.

En ASCII étendu, le code hexadécimal est 0x2299.

Voir aussi

• Fonction logique
• Fonction OUI
• Fonction NON
• Fonction ET
• Fonction OU
• Fonction NON-ET
• Fonction NON-OU
• Fonction OU exclusif
• équivalence logique (doublon plus complet)