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