Coïncidence

Un article de Wikipédia, l'encyclopédie libre.

En informatique, l'opérateur logique Coïncidence (ou é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 donc noter qu'il s'agit de l'inverse du OU exclusif souvent noté XNOR. On le nomme parfois (bien qu'abusivement) identité.

Table de vérité
A	B	S = A $ B
0	0	1
0	1	0
1	0	0
1	1	1

C'est pour ses propriétés très intéressantes (voir Algèbre de Boole) que le OU exclusif est très utilisé dans le domaine de la Cryptographie.

Voir aussi : Équivalence logique (doublon plus complet)

Opération binaire
numérique	fonctionnelle	en ensemble ordonné	structurelle
élémentaire + addition – soustraction × multiplication ÷ division ^ puissance arithmétique div quotient euclidien mod reste euclidien ∧ PGCD ∨ PPCM combinatoire ( ) coefficient binomial A arrangement	∘ composition ∗ convolution	ensemble de parties ∪ réunion \ complémentation ∩ intersection Δ différence symétrique ordre total min minimum max maximum treillis ∧ borne inférieure ∨ borne supérieure	ensembles × produit cartésien ⊔ union disjointe ^ puissance ensembliste groupes ⊕ somme directe ∗ produit libre ≀ produit en couronne modules ⊗ produit tensoriel Hom homomorphismes Tor torsion Ext extensions	arbres ∨ enracinement variétés connexes # somme connexe espaces pointés ∨ bouquet ∧ smash produit ∗ joint
	vectorielle
	(.) produit scalaire ∧ produit vectoriel
	algébrique
	[,] crochet de Lie {,} crochet de Poisson ∧ produit extérieur
	homologique
	∪ cup-produit • produit d'intersection	séquentielle
		+ concaténation
logique booléenne
∧ ET (conjonction)	∨ OU (disjonction)	⊕ OU exclusif	⇒ IMP (implication)	⇔ EQV (coïncidence)

• Portail de la logique