پرش به محتوا

الگو:ادات منطقی

از ویکی‌پدیا، دانشنامهٔ آزاد

ن ب و رابط‌های منطقی
همان‌گویی (منطق)/True $\top$
خط شفر (دروازه نقیض و) $\uparrow$ شرطی معکوس $\leftarrow$ شرطی مادی (دروازه شرطی) $\rightarrow$ فصل منطقی (دروازه یا) $\lor$
نقیض (دروازه وارونگر) $\neg$ یای انحصاری (دروازه یای انحصاری) $\oplus$ دوشرطی منطقی (دروازه نقیض یای انحصاری) $\leftrightarrow$ Statement
نقیض یا (دروازه نقیض یا) $\downarrow$ نقیض شرطی $\nrightarrow$ Converse nonimplication $\nleftarrow$ عطف منطقی (دروازه و) $\land$
تناقض/کذب $\bot$
Logic portal

برگرفته از «https://fa.wikipedia.org/w/index.php?title=الگو:ادات_منطقی&oldid=28493591»