Back Sheffer stroke English Conjunción opuesta Spanish خط شفر Persian Shefferin viiva Finnish Barre de Sheffer French Operatore di Sheffer Italian 否定論理積 Japanese 부정논리곱 Korean Dysjunkcja (Sheffera) Polish NOU Portuguese
Die Sheffer-Funktion ist die Negation des logischen und.
Im rot markierten Bereich ist die Funktion wahr, also genau da, wo und falsch ist.
Der Sheffersche Strich (auch Sheffer-Strich, Sheffer-Funktion, Sheffer-Operator oder englisch Sheffer stroke; nach Henry Maurice Sheffer benannt) bzw. NAND (englisch not and = nicht und), geschrieben als „|“, bezeichnet in der Booleschen Algebra und der Aussagenlogik einen booleschen Operator bzw. Junktor.
Die damit begründete logische Operation ist äquivalent zur Negation der Konjunktion (AND-Verknüpfung) zweier boolescher Variablen, umgangssprachlich entspricht dies dem „nicht beide“.