ادات شفر

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

ادات شفر با علامت «|» یا «↑» نمایش داده می‌شود به این ترتیب معنی $A|B$ می‌شود: «نه هم A و هم B» که معادل $\mathrm{\neg }(A\wedge B)$ می‌باشد.

قضیه

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

$\mathrm{\neg }P\equiv P|P$

$P\wedge Q\equiv (P|Q)|(P|Q)$

$P\vee Q\equiv (P|P)|(Q|Q)$

$P\to Q\equiv P|(Q|Q)\equiv P|(P|Q)$

منابع

• الگو:یادکرد
• الگو:یادکرد