تلفظ بین المللی : /ˈaːdˈɑt ʃˈafr/ تلفظ : ['a:d'At S'afR]
دانشنامه عمومی
در منطق و ریاضیات، ادات شفر یا (NAND) یک عملگر منطقی دوتایی است، که نتیجهٔ آن در صورتی که عطف منطقی عملوندهای آن نادرست باشد درست خواهد بود و در غیر این صورت نادرست است.محمد اردشیر (۱۳۸۳)، منطق ریاضی، تهران: انتشارات هرمس، شابک ۹۶۴-۳۶۳-۲۲۹-۶ادات شفر با علامت «|» یا «↑» نمایش داده می شود به این ترتیب معنی A | B {\displaystyle A|B} می شود: «نه هم A و هم B» که معادل ¬ ( A ∧ B ) {\displa...
