Si A y B son 2 expresiones lógicas y si A y B tienen siempre el mismo valor de verdad para todas sus combinaciones de valores de las variables que ocurren en ellas, decimos que “A y B son lógicamente equivalentes”. Se simboliza A ≡ B.[2]

Por ejemplo, p↔q ≡ (p→q) ˄ (q→p) porque:

Como se puede observar, ambas expresiones tiene los mismos valores de verdad en los mismos casos de p y q.