Der Sheffersche Strich (auch Sheffer stroke, Sheffer-Strich, Sheffer-Funktion oder Sheffer-Operator nach Henry Maurice Sheffer genannt) bzw. NAND (engl. 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 äqui...