Разделительная дизъюнкция

Разделительная дизъюнкция — это логическая функция, реализующая логическое сложение — ЛИБО …, ЛИБО … — исключающее ИЛИ.

Обозначения

x₁ — 1-ый аргумент функции — дизъюнкт, слагаемое;

x₂ — 2-ой аргумент функции — дизъюнкт, слагаемое;

x₁̲˅̲ x₂ — функция разделительной дизъюнкции.

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

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

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

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

Ссылки

• Участник:Logic-samara