دروازه شرطی

دروازهٔ شرطی (به انگلیسی: IMPLY gate) یکی از دروازه‌های منطقی ترکیبی است که شرط اگر p آنگاه q یا شرطی منطقی را پیاده‌سازی می‌کند

پیاده‌سازی

این دروازه را می‌توان با دو عدد ممریستور (memristor) پیاده‌سازی کرد^[۱]

↑ «نسخه آرشیو شده». بایگانی‌شده از اصلی در ۴ مارس ۲۰۱۶. دریافت‌شده در ۲۱ نوامبر ۲۰۱۴.

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