Dua bentuk pernyataan disebut logical equivalence, jika dan hanya jika, memiliki nilai kebenaran yang sama untuk setiap kemungkinan. Logical equivalence dari bentuk statement p dan q disimbolkan dengan p = q.

Tautology adalah bentuk statement yang selalu benar.  Sedangkan contradiction adalah bentuk statement yang selalu salah.