نقیض یا

از testwiki
نسخهٔ تاریخ ۲۵ آوریل ۲۰۲۴، ساعت ۰۳:۲۳ توسط imported>HujiBot (ربات: افزودن رده‌های همسنگ)
(تفاوت) → نسخهٔ قدیمی‌تر | نمایش نسخهٔ فعلی (تفاوت) | نسخهٔ جدیدتر ← (تفاوت)
پرش به ناوبری پرش به جستجو

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

پیکان پیرس

نمودار ون AB

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

جدول درستی

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

INPUT OUTPUT
A B A NOR B
۰ ۰ ۱
۰ ۱ ۰
۱ ۰ ۰
۱ ۱ ۰

منابع

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

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

- Logical NOR From Wikipedia, the free encyclopedia

الگو:Navbox