بوابة نفي أو

بوابة نفي أو

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

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

ملف:Элемент ИЛИ-НЕ (100).PNG

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

ملف:Ugonor.png

أمثلة

$X\downarrow X\equiv \mathrm{\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(X\downarrow X\right)\downarrow Y)\downarrow (\left(X\downarrow X\right)\downarrow Y)=X\to Y$ — استتباع منطقي

انظر أيضا

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