بوابة نفي أو

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

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

أمثلة

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

هذه بذرة مقالة عن الإلكترونيات أو العاملين في هذا المجال بحاجة للتوسيع. فضلًا شارك في تحريرها.