(به : )
عملگر منطقی NAND در ریاضیات گسسته به صورت نماد خط (|) نمایش داده می‌شود. این نام‌گذاری
برای اولین بار توسط هنری. م شفر استفاده گردید، بدین جهت به نام خط شفر شهرت یافت.
گزارهٔ p NAND q یا(p|p) درست است اگر هر یک از گزاره‌های P یا q یا هر دو نادرست باشند؛ و در غیر این صورت نادرست است.
 (هم چنین نوشته شده به عنوان , , یا ):
 
 - کتاب و کاربردهای آن نوشته، کنت اچ. روزن ترجمه: حسین ابراهیم‌زاده قلزم – بهجت نصری خرمایی – قاسم جانیپور شهرود کلایی – زینب قربانی لاکتراشانی
 - Discrete Mathematics and Its Applications by Kenneth H Rosen Seventh Edition
 - From Wikipedia, the free encyclopedia
{"title": "خط شفر", "link": "https://fa.wikipedia.org//w/index.php?title=%D8%AE%D8%B7_%D8%B4%D9%81%D8%B1&oldid=25670389", "language": "fa"}