Coïncidence (informatique)
En informatique, l'opérateur logique coïncidence, également NON-OU exclusif (XNOR) et équivalence logique, peut se définir par la phrase suivante :
.
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 :

Quelques propriétés mathématiques 

 
 
 
 
 Commutativité 
 Associativité  mais 
  et  où  est le OU exclusif.
 
  si et seulement si

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
 
 
 

 Symbole IEC

Symbole Informatique 

 En HTML, on le note &odot;.
 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)

Fonction logique