بوابة نفي أو

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

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

أمثلة 

  — نفي

  — عطف منطقي

  — فصل منطقي

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

انظر أيضا 

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

جبر منطقي
شارل ساندرز بيرس
معلوماتية نظرية