Pour résoudre l'équivalence logique 
𝐴
↔
𝐵
A↔B, nous devons déterminer toutes les combinaisons possibles de valeurs de vérité pour 
𝐴
A et 
𝐵
B qui rendent cette équivalence vraie.

Définition de l'équivalence 
↔
↔
L'équivalence 
𝐴
↔
𝐵
A↔B est vraie si et seulement si 
𝐴
A et 
𝐵
B ont la même valeur de vérité. Autrement dit :

𝐴
A et 
𝐵
B sont tous les deux vrais.

𝐴
A et 
𝐵
B sont tous les deux faux.

Table de vérité pour 
𝐴
↔
𝐵
A↔B
Voici les 4 combinaisons possibles pour 
𝐴
A et 
𝐵
B, avec le résultat de l'équivalence :

𝐴
A 
𝐵
B 
𝐴
↔
𝐵
A↔B

Vrai Vrai Vrai
Vrai Faux Faux
Faux Vrai Faux
Faux Faux Vrai

Affectations qui rendent 
𝐴
↔
𝐵
A↔B vraie
Les affectations qui satisfont 
𝐴
↔
𝐵
A↔B sont :

𝐴
=
Vrai
A=Vrai et 
𝐵
=
Vrai
B=Vrai.
𝐴
=
Faux
A=Faux et 
𝐵
=
Faux
B=Faux.