بوابة نفي أو

بوابة نفي "أو" - هي علاقة ثنائية في الجبر المنطقي على متغيرين، قدمت بواسطة تشارلز بيرس، عام 1880 -1881م.[1]

تحتوي هذه المقالة اصطلاحات معربة غير مُوثَّقة. لا تشمل ويكيبيديا العربية الأبحاث الأصيلة، ويلزم أن تُرفق كل معلومة فيها بمصدر موثوق. فضلاً ساهم في تطويرها من خلال الاستشهاد بمصادر موثوقة تدعم استعمال المصطلحات المعربة في هذا السياق أو إزالة المصطلحات التي لا مصادر لها.(نقاش) (أكتوبر 2015)

وتسمى أيضا سهم بيرس، و يعبر عنها عادة بالرمز (↓) .

الرمز الرياضي لسهم بيرس

أمثلة

X\downarrow X\equiv \neg X

— نفي

\left({X\downarrow X}\right)\downarrow \left({Y\downarrow Y}\right)\equiv {X\wedge Y}

— عطف منطقي

\left({X\downarrow Y}\right)\downarrow \left({X\downarrow Y}\right)\equiv X\vee Y

— فصل منطقي

\left(\left({X\downarrow X}\right)\downarrow Y\right)\downarrow \left(\left({X\downarrow X}\right)\downarrow Y\right)=X\rightarrow Y

— استتباع منطقي

مصادر

"معلومات عن بوابة نفي أو على موقع academic.microsoft.com". academic.microsoft.com. مؤرشف من الأصل في 21 أكتوبر 2020. الوسيط |CitationClass= تم تجاهله (مساعدة)

انظر أيضا

بوابة كهرباء
بوابة إلكترونيات
بوابة منطق

بوابة نفي أو في المشاريع الشقيقة

صور وملفات صوتية من كومنز

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

[1] "معلومات عن بوابة نفي أو على موقع academic.microsoft.com". academic.microsoft.com. مؤرشف من الأصل في 21 أكتوبر 2020. الوسيط |CitationClass= تم تجاهله (مساعدة)