Kategori:Mantık bağlaçları

g t d Yaygın mantık bağlaçları
Totoloji / Doğru $\top$
Alternatif red (VEDEĞİL kapısı) ${\overline {\wedge }}$ Karşıt içerme $\Leftarrow$ İçerme (İÇERME kapısı) $\Rightarrow$ Mantıksal veya (VEYA kapısı) $\lor$
Tümleme (DEĞİL kapısı) $\neg$ Dışlamalı veya (XOR kapısı) $\oplus$ Çift koşullu (XNOR kapısı) $\odot$ Önerme (Sürücü kapı)
Ortak red (VEYADEĞİL kapısı) ${\overline {\vee }}$ İçermeme (İÇERMEME kapısı) $\nRightarrow$ Karşıt içermeme $\nLeftarrow$ Mantıksal ve (VE kapısı) $\land$
Çelişki / Yanlış $\bot$