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