خط شفر

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

نمودار ون

جدول درستی

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

INPUTOUTPUT
ABA NAND B
۰۰۱
۰۱۱
۱۰۱
۱۱۰

منابع

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

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

    - Sheffer strok From Wikipedia, the free encyclopedia

    This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.