Знак эквивалентности (≡, ↔, ⇔) — это логическое выражение, указывающее, что два высказывания всегда одинаково истинны или одинаково ложны. 2

Используется для получения нового высказывания: «А эквивалентно B». 1

Пример эквивалентности: «Треугольник будет прямоугольным тогда и только тогда, когда один из углов равен 90 градусам». 1

Операция эквивалентности противоположна сложению по модулю два и имеет результат «истина» тогда и только тогда, когда значения переменных совпадают. 1