Стрелка Пирса

Стрелка Пирса — это логическая функция, реализующая отрицание дизъюнкции.

Введена в рассмотрение Чарльзом Пирсом в 1880—1881 годах.

Обозначения

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

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

x₁↓x₂ – функция стрелка Пирса.

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

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

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

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

Ссылки

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