حساب کاربری
​
زمان تقریبی مطالعه: 1 دقیقه
لینک کوتاه

نقیض یا

در منطق بولی، یک نقیض فصلی منطقی (به انگلیسی: logical nor) یا انکار پیوندی، یک عملگر صحت-عملیاتی است که نتیجه ی ایجاد شده توسط آن، نقیض «یا ی منطقی» است.

نقیص فصلی منطقی
NOR
تعریف x + y ¯ {\displaystyle {\overline {x+y}}}
جدول درستی ( 1000 ) {\displaystyle (1000)}
دروازه منطقیNOR ANSI.svg
فرم‌های نرمال
فرم فصلی x ¯ ⋅ y ¯ {\displaystyle {\overline {x}}\cdot {\overline {y}}}
فرم اشتراکی x ¯ ⋅ y ¯ {\displaystyle {\overline {x}}\cdot {\overline {y}}}
چند جمله‌ای ژگالکین 1 ⊕ x ⊕ y ⊕ x y {\displaystyle 1\oplus x\oplus y\oplus xy}
مشبکه پست
نگهداری 0خیر
نگهداری 1خیر
یکنواخیر
همگرخیر

پیکان پیرس
نمودار ون   A ↓ B {\displaystyle ~A\downarrow B}

عملگر منطقی NOR در ریاضیات گسسته به صورت نماد پیکان پیرس (به انگلیسی: Peirce arrow) (↓) نمایش داده می‌شود. این نام‌گذاری برای اولین بار توسط چارلز سندرس پیرس استفاده گردید، بدین جهت به نام پیکان پیرس(به انگلیسی: Peirce arrow) شهرت یافت. گزارهٔ p NOR q یا(p↓p) درست است اگر گزاره‌های P و q هر دو نادرست باشند و در غیر این صورت نادرست است. در منطق ویا ریاضیات، نقیض یا (NOR) یک عملگر منطقی دوتایی است، که نتیجه آن در صورتی که فصل منطقی عملوندهای آن نادرست باشد درست خواهد بود و در غیر این صورت نادرست است.

جدول درستی

جدول درستی A NOR B (هم چنین نوشته شده به عنوان A ↓ B):

INPUTOUTPUT
ABA NOR B
۰۰۱
۰۱۰
۱۰۰
۱۱۰

منابع

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

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

- Logical NOR From Wikipedia, the free encyclopedia

  • ریچارد جانسون با (۱۳۸۰)، ساختمان‌های گسسته، ترجمهٔ حسین ابراهیم‌زاده قلزم (ویراست پنجم)، سیمای دانش
آخرین نظرات
کلیه حقوق این تارنما متعلق به فرا دانشنامه ویکی بین است.