L'égalité logique est un opérateur logique qui correspond à l'égalité dans l'algèbre booléenne et à la biconditionnelle logique dans le calcul propositionnel.
L'égalité logique est une opération logique.