Стрелка Пирса — различия между версиями
м |
м |
||
| Строка 1: | Строка 1: | ||
| − | '''Стрелка Пирса''' — это [[логическая функция]], реализующая отрицание [[дизъюнкция|дизъюнкции]]. | + | '''Стрелка Пирса''' — это [[логическая функция]], реализующая [[отрицание]] [[дизъюнкция|дизъюнкции]]. |
Введена в рассмотрение Чарльзом Пирсом в 1880—1881 годах. | Введена в рассмотрение Чарльзом Пирсом в 1880—1881 годах. | ||
Текущая версия на 07:50, 21 октября 2024
Стрелка Пирса — это логическая функция, реализующая отрицание дизъюнкции.
Введена в рассмотрение Чарльзом Пирсом в 1880—1881 годах.
Обозначения
x1 – 1-ый аргумент функции;
x2 – 2-ой аргумент функции;
x1↓x2 – функция стрелка Пирса.
Таблица истинности
Эквиваленции
