نمایش مبدأ برای نقیض یا

{{Infobox logical connective|title=نقیص فصلی منطقی|other titles=NOR|Venn diagram=Venn1000.svg|definition=<math>\overline{x + y}</math>|truth table=<math>(1000)</math>|logic gate=NOR_ANSI.svg|DNF=<math>\overline{x} \cdot \overline{y}</math>|CNF=<math>\overline{x} \cdot \overline{y}</math>|Zhegalkin=<math>1 \oplus x \oplus y \oplus xy</math>|0-preserving=خیر|1-preserving=خیر|monotone=خیر|affine=خیر|self-dual=no}}در [[جبر بولی|منطق بولی]]، یک '''نقیض فصلی منطقی''' {{به انگلیسی|logical nor}} یا '''انکار پیوندی'''، یک عملگر صحت-عملیاتی است که نتیجه ی ایجاد شده توسط آن، نقیض «[[فصل منطقی|یا ی منطقی]]» است.

== پیکان پیرس ==
[[پرونده:Venn1000.svg|بندانگشتی|نمودار ون <math>~A \downarrow B</math>]]
عملگر منطقی NOR در ریاضیات گسسته به صورت نماد پیکان پیرس {{به انگلیسی|Peirce arrow}} (↓) نمایش داده می‌شود. این نام‌گذاری
برای اولین بار توسط چارلز سندرس پیرس استفاده گردید، بدین جهت به نام پیکان پیرس{{به انگلیسی|Peirce arrow}} شهرت یافت.
گزارهٔ p NOR q یا(p↓p) درست است اگر گزاره‌های P و q هر دو نادرست باشند و در غیر این صورت نادرست است.
در [[منطق]] ویا [[ریاضیات]]، '''نقیض یا''' '''(NOR)''' یک [[عملگر منطقی]] [[عمل دوتایی|دوتایی]] است، که نتیجه آن در صورتی که فصل منطقی عملوندهای آن ''نادرست'' باشد ''درست'' خواهد بود و در غیر این صورت ''نادرست'' است.

=== جدول درستی ===
جدول درستی '''A NOR B''' (هم چنین نوشته شده به عنوان '''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 NOR 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:Logical NOR|Logical NOR]] From Wikipedia, the free encyclopedia
* {{یادکرد
|فصل=
|کتاب=ساختمان‌های گسسته
|نویسنده = ریچارد جانسون با
|ترجمه=حسین ابراهیم‌زاده قلزم
|ناشر =سیمای دانش
|شهر=
|کوشش=
|ویرایش=پنجم
|صفحه=
|سال=۱۳۸۰
|شابک=
}}
{{ادات منطقی}}

[[رده:جبر بولی]]
[[رده:رابط‌های منطقی]]
[[رده:عملیات دوتایی]]
[[رده:منطق]]
[[رده:منطق ریاضی]]
[[رده:منطق گزاره‌ای]]
[[رده:چارلز سندرز پرس]]