Эквиваленция (логическое равенство) обозначается как А ↔ B и читается как «А равносильно В».
Таблица истинности выглядит следующим образом:
То есть высказывание А ↔ B будет истинно тогда и только тогда, когда А и В принимают одно и то же значение.
