Zwei Aussagen AAA und BBB sind logisch äquivalent, wenn sie immer denselben Wahrheitswert haben.
Notation: A⇔BA\Leftrightarrow BA⇔B oder A≡BA\equiv BA≡B.