WikiSort.ru - Не сортированное

Штрих Шеффера
И-НЕ, NAND
Диаграмма Венна
Определение	${\displaystyle {\overline {x\cdot y}}}$
Таблица истинности	${\displaystyle (1110)}$
Логический вентиль
Нормальные формы
Дизъюнктивная	${\displaystyle {\overline {x}}+{\overline {y}}}$
Конъюнктивная	${\displaystyle {\overline {x}}+{\overline {y}}}$
Полином Жегалкина	${\displaystyle 1\oplus xy}$
Принадлежность предполным классам
Сохраняет 0	Нет
Сохраняет 1	Нет
Монотонна	Нет
Линейна	Нет
Самодвойственна	Нет

Штрих Ше́ффера — бинарная логическая операция, булева функция над двумя переменными. Введена в рассмотрение Генри Шеффером в 1913 году.

Штрих Шеффера, обычно обозначаемый |, эквивалентен операции И-НЕ и задаётся следующей таблицей истинности:

Таким образом, высказывание X | Y означает, что X и Y несовместны, то есть не являются истинными одновременно. От перемены мест операндов результат операции не изменяется.

Штрих Шеффера, как и стрелка Пирса, образует базис для пространства булевых функций от двух переменных. То есть используя только штрих Шеффера можно построить остальные операции. Например,

${\displaystyle X\,|\,X=\neg X}$  — отрицание

${\displaystyle \left({X\,|\,X}\right)\,|\,\left({Y\,|\,Y}\right)=X\vee Y}$  — дизъюнкция

${\displaystyle \left({X\,|\,Y}\right)\,|\,\left({X\,|\,Y}\right)=\left({X\wedge Y}\right)}$  — конъюнкция

${\displaystyle X\,|\,\neg X}$  — константа 1

В электронике это означает, что для реализации всего многообразия схем преобразования сигналов, представляющих логические значения, достаточно одного типового элемента. С другой стороны, такой подход увеличивает сложность реализующих логические выражения схем и тем самым снижает их надёжность. Примером может являться промышленная 155 серия.

Элемент 2И-НЕ (2-in NAND), реализующий штрих Шеффера, обозначается следующим образом (по стандартам ANSI):

В европейских стандартах принято другое обозначение:

См. также

• Двоичные функции
• Стрелка Пирса
• Логическая операция
• Бинарная операция
• Алгебра логики

Литература

• Математический энциклопедический словарь. — М.: «Сов. энциклопедия », 1988. — С. 639—639.
• Белоусов, Аркадий Алгебра логики и цифровые компьютеры