خط شفر

خط شفر ( به انگلیسی: Sheffer strok ) عملگر منطقی NAND در ریاضیات گسسته به صورت نماد خط ( | ) نمایش داده می شود. این نام گذاری برای اولین بار توسط هنری. م شفر استفاده گردید، بدین جهت به نام خط شفر شهرت یافت. گزارهٔ p NAND q یا ( p|p ) درست است اگر هر یک از گزاره های P یا q یا هر دو نادرست باشند؛ و در غیر این صورت نادرست است.
جدول درستی A NAND B ( هم چنین نوشته شده به عنوان A | B, Dpq, یا A ↑ B ) :