Эквивалентность — это функция тождества.

Она обозначается символами ≡ или <=>. Выбираем обозначение А ≡ В. («тогда и только тогда»).

Запись А ≡ В читается как «А эквивалентно В».

Пример:

 

Эквивалентность двух высказываний истинна только в тех случаях, когда оба высказывания ложны или оба истинны.

Таблица истинности эквивалентности двух суждений А и В такова:

Таблица истинности. Эквивалентность.

А	В	А ≡ В
0	0	1
0	1	0
1	0	0
1	1	1

В программировании эту операцию обозначают «EQV».