ادات شفر

در منطق و ریاضیات، ادات شفر یا (NAND) یک عملگر منطقی دوتایی است، که نتیجهٔ آن در صورتی که عطف منطقی عملوندهای آن نادرست باشد درست خواهد بود و در غیر این صورت نادرست است.

ادات شفر با علامت «|» یا «↑» نمایش داده می‌شود به این ترتیب معنی  می‌شود: «نه هم A و هم B» که معادل  می‌باشد.

 قضیه 
ادات شفر کامل است.
برای اثبات آن کافی است ادات دیگر را بر حسب «|» تعریف کنیم:

 منابع 




رده:دروازه‌های منطقی