خط شفر
پرش به ناوبری
پرش به جستجو
خط شفر الگو:به انگلیسی عملگر منطقی 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