Шеффер инсульт
В булевых функциях и исчислении высказываний штрих Шеффера обозначает логическую операцию , которая эквивалентна отрицанию операции конъюнкции , выражаемой на обычном языке как «не то и другое». Его также называют nand («не и») или альтернативным отрицанием , поскольку фактически он говорит, что по крайней мере один из его операндов является ложным. В цифровой электронике он соответствует вентилю И-НЕ . Он назван в честь Генри М. Шеффера и пишется как ↑ или как | (но не как ||, часто используемый для обозначения дизъюнкции ). ВВ обозначениях Бохенского его можно записать как D pq .
Его двойником является оператор NOR (также известный как стрела Пирса или кинжал Куайна ). Как и его двойник, NAND может использоваться сам по себе, без какого-либо другого логического оператора, для создания логической формальной системы (что делает NAND функционально завершенной ). Это свойство делает вентиль И- НЕ решающим фактором для современной цифровой электроники , включая его использование в конструкции компьютерных процессоров .
Операция НЕ -И является логической операцией над двумя логическими значениями . Он производит значение true, если — и только если — по крайней мере одно из утверждений ложно.
Таблица истинности ( также пишется как , или D pq ) выглядит следующим образом
Штрих Шеффера и является отрицанием их соединения
По законам Де Моргана это также эквивалентно дизъюнкции отрицаний и