Эквиваленция

Эквиваленция (Эквивалентность) — логическая функция, реализующая логическое равенство (тождество) — … РАВНО ….

Эквиваленция является истинной тогда и только тогда, когда оба аргумента имеют одинаковую истинность.

Обозначения

x₁ — 1-ый аргумент функции;

x₂ — 2-ой аргумент функции;

x₁↔x₂ — функция эквиваленция.

Таблица истинности

Эквиваленции

Другие функции:

1. отрицание;
2. дизъюнкция;
3. конъюнкция;
4. разделительная дизъюнкция;
5. импликация;
6. обратная импликация;
7. эквиваленция;
8. стрелка Пирса;
9. штрих Шеффера;
10. полином Жегалкина.