بوابة نفي أو

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

سهم بيرس

معلومات عامة

سُمِّي باسم	تشارلز ساندرز برس
تاريخ النشر	1880
تعريف الصيغة	$\neg (P\lor Q)$
حالة حقوق التأليف والنشر	الملكية العامة
سلسلة محارف لاتكس (LaTeX)	\downarrow

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

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

أمثلة

$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$ — استتباع منطقي

انظر أيضا

• جبر منطقي
• جبر بولياني