نمایش مبدأ برای خط شفر

[[پرونده:Venn1110.svg|بندانگشتی|نمودار ون <math>~A \uparrow B</math>]]
'''خط شفر''' {{به انگلیسی|Sheffer strok}}
عملگر منطقی NAND در ریاضیات گسسته به صورت نماد خط (|) نمایش داده می‌شود. این نام‌گذاری
برای اولین بار توسط هنری. م شفر استفاده گردید، بدین جهت به نام خط شفر شهرت یافت.
گزارهٔ p NAND q یا(p|p) درست است اگر هر یک از گزاره‌های P یا q یا هر دو نادرست باشند؛ و در غیر این صورت نادرست است.

== جدول درستی ==
[[جدول درستی]] '''A NAND B''' (هم چنین نوشته شده به عنوان '''A | B''', '''Dpq''', یا '''A ↑ B'''):
{| class="wikitable" style="margin: 0 0 1em 1em"
|- bgcolor="#ddeeff" align="center"
|colspan=2|'''INPUT''' || '''OUTPUT'''
|- bgcolor="#ddeeff" align="center"
| A || B || A NAND B
|- bgcolor="#ddffdd" align="center"
|۰ || ۰ || ۱
|- bgcolor="#ddffdd" align="center"
|۰ || ۱ || ۱
|- bgcolor="#ddffdd" align="center"
|۱ || ۰ || ۱
|- bgcolor="#ddffdd" align="center"
|۱ || ۱ || ۰
|}

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

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

- [[:en:Sheffer stroke|Sheffer strok]] From Wikipedia, the free encyclopedia

{{ادات منطقی}}
[[رده:دروازه‌های منطقی]]
[[رده:رابط‌های منطقی]]

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