نفي (رياضيات)

النفي
NOT
	مخطط فن لالنفي
التعريف
جدول الحقيقة
بوابة منطقية
نماذج نظامية
فصلي
عطفي
كثير حدود جيغالكين ‏
امتداد شبيكة بوست
الحفاظ على 0
الحفاظ على 1
الرتابة
التآلف
الثِّنْوِيَّة الذاتية

في الجبر البوليني والرياضيات، النفي هو عملية أو رابط بين القيم وعكسها، مثلا من صحيح إلى خطأ ومن خطأ إلى صحيح، أو من القيمة المنطقية (0) إلى القيمة المنطقية (1) والعكس.^[1]

انظر أيضًا

عاكس (بوابة منطقية)

مراجع

↑ Horn، Laurence R (2001). "Chapter 1". A NATURAL HISTORY OF NEGATION (PDF). Stanford University: CLSI Publications. ص. 1. ISBN:1-57586-336-7. مؤرشف من الأصل (PDF) في 2017-02-27. اطلع عليه بتاريخ 2013-12-29.

[1] Horn، Laurence R (2001). "Chapter 1". A NATURAL HISTORY OF NEGATION (PDF). Stanford University: CLSI Publications. ص. 1. ISBN:1-57586-336-7. مؤرشف من الأصل (PDF) في 2017-02-27. اطلع عليه بتاريخ 2013-12-29.

[1]

روابط منطقية شهيرة
تحصيل حاصل/صواب $\top$
عطف منفي ‏ بوابة عطف منفي $\uparrow$ معكوس الاقتضاء $\leftarrow$ الاقتضاء المنطقي بوابة اقتضاء ‏ $\rightarrow$ الفصل المنطقي (بوابة فصل) $\lor$
النفي (بوابة النفي $\neg$ فصل إقصائي (بوابة فصل إقصائي) $\not \leftrightarrow$ شرطاني منطقي بوابة فصل إقصائي منفي $\leftrightarrow$ عبارة منطقية صوان رقمي
فصل منطقي منفي بوابة فصل منطقي منفي $\downarrow$ اقتضاء منفي ‏ بوابة اقتضاء منفي ‏ $\nrightarrow$ معكوس اقتضاء منفي ‏ $\nleftarrow$ العطف المنطقي بوابة عطف $\land$
التناقض/باطل $\bot$
بوابة فلسفة

NOT
مخطط فن لالنفي
التعريف	$\lnot {x}$
جدول الحقيقة	$(01)$
بوابة منطقية
نماذج نظامية
فصلي	$\lnot {x}$
عطفي	$\lnot {x}$
كثير حدود جيغالكين ‏	$1\oplus x$
امتداد شبيكة بوست
الحفاظ على 0
الحفاظ على 1
الرتابة
التآلف	Y
الثِّنْوِيَّة الذاتية	Y