EKVIVALENCA je izjava oblike A B (beremo: "izjava A velja natanko tedaj, ko velja izjava B" oz. "izjava A velja, če in samo če velja izjava B").

Ekvivalneca je pravilna, če imata izjavi A in B enako logično vrednost (če sta obe pravilni ali obe nepravilni). Ekvivalenca je nepravilna, če imata izjavi A in B različno logično vrednost.

Dopolni pravilnostno tabelo za ekvivalenco:
B
A <=> B
p
p
p
n
n
p
n
n
  

Pri ekvivalenci je A (B) potrebni in zadostni pogoj za B (A).