Шефферский инсульт

---

В булевых функциях и исчислении высказываний штрих Шеффера обозначает логическую операцию , которая эквивалентна отрицанию операции соединения , выражаемой на обычном языке как «не то и другое». Его также называют несоединением или альтернативным отрицанием , поскольку оно фактически говорит о том, что по крайней мере один из его операндов является ложным, или NAND («не и»). В цифровой электронике он соответствует вентилю И-НЕ . Он назван в честь Генри Мориса Шеффера и написан как или как или как или как в польской записи Лукасевича (но не как ||, часто используемый для обозначения дизъюнкции ).${\displaystyle \mid }$${\displaystyle \uparrow }$${\displaystyle {\overline {\wedge }}}$${\displaystyle Dpq}$

Его двойником является оператор NOR (также известный как стрелка Пирса , кинжал Куайна или оператор Уэбба ). Как и его двойник, NAND может использоваться сам по себе, без какого-либо другого логического оператора, для создания логической формальной системы (что делает NAND функционально завершенным ). Это свойство делает вентиль NAND решающим для современной цифровой электроники , включая его использование в конструкции компьютерных процессоров .

Несоединение — это логическая операция над двумя логическими значениями . Оно дает значение «истина», если — и только если — хотя бы одно из предложений ложно .

Таблица истинности такова .${\displaystyle P\uparrow Q}$

Штрих Шеффера и является отрицанием их соединения.${\displaystyle P}$${\displaystyle Q}$

По законам де Моргана это также эквивалентно дизъюнкции отрицаний и${\displaystyle P}$${\displaystyle Q}$

---