Эквивалентность — это функция тождества.
Она обозначается символами ≡ или <=>. Выбираем обозначение А ≡ В. («тогда и только тогда»).
Запись А ≡ В читается как «А эквивалентно В».
Пример:
Эквивалентность двух высказываний истинна только в тех случаях, когда оба высказывания ложны или оба истинны.
Таблица истинности эквивалентности двух суждений А и В такова:
Таблица истинности. Эквивалентность.
А
|
В
|
А ≡ В
|
0
|
0
|
1
|
0
|
1
|
0
|
1
|
0
|
0
|
1
|
1
|
1
|
В программировании эту операцию обозначают «EQV».
|