Шаблон:Логічні операції

п о р Логічні операції
Тавтологія ( $\top$ )
NAND ( $\uparrow$ ) · Обернена імплікація ( $\leftarrow$ ) · Імплікація ( $\rightarrow$ ) · OR ( $\lor$ )
Заперечення ( $\neg$ ) · XOR ( $\oplus$ ) · Еквівалентність ( $\leftrightarrow$ ) · Твердження (Цифровий буфер^[en])
NOR ( $\downarrow$ ) · Неімплікація ( $\nrightarrow$ ) · Обернена неімплікація ( $\nleftarrow$ ) · AND ( $\land$ )
Суперечність ( $\bot$ )