Template:Logical connectives

v t e Logical connectives

Tautology $\top$

NAND $\uparrow$ Converse implication $\leftarrow$ Implication $\rightarrow$ OR $\or$

Negation $\neg$ XOR $\oplus$ Biconditional $\leftrightarrow$ Statement

NOR $\downarrow$ Nonimplication $\nrightarrow$ Converse nonimplication $\nleftarrow$ AND $\and$

Contradiction $\bot$

Read in another language

This page is available in 11 languages