خط شفر

خط شفر 
عملگر منطقی NAND در ریاضیات گسسته به صورت نماد خط (|) نمایش داده می‌شود. این نام‌گذاری
برای اولین بار توسط هنری. م شفر استفاده گردید، بدین جهت به نام خط شفر شهرت یافت.
گزارهٔ p NAND q یا(p|p) درست است اگر هر یک از گزاره‌های P یا q یا هر دو نادرست باشند؛ و در غیر این صورت نادرست است.

 جدول درستی 
جدول درستی A NAND B (هم چنین نوشته شده به عنوان A | B, Dpq, یا A ↑ B):
INPUT  OUTPUT A  B  A NAND B۰  ۰  ۱۰  ۱  ۱۱  ۰  ۱۱  ۱  ۰

 منابع 

- کتاب ریاضیات گسسته و کاربردهای آن نوشته، کنت اچ. روزن ترجمه: حسین ابراهیم‌زاده قلزم – بهجت نصری خرمایی – قاسم جانیپور شهرود کلایی – زینب قربانی لاکتراشانی

- Discrete Mathematics and Its Applications by Kenneth H Rosen Seventh Edition

- Sheffer strok From Wikipedia, the free encyclopedia

رده:دروازه‌های منطقی
رده:رابط‌های منطقی

رده:منطق ریاضی
رده:نمادهای منطقی