équivalence logique

Définition :

Opération booléenne diadique dont le résultat a la valeur booléenne 1 si et seulement si les deux opérandes ont la même valeur booléenne.

anglais
Auteur : Association française de normalisation, 1986
Termes :
1. equivalence operation
2. IF-AND-ONLY-IF operation