ਫਰਮਾ:Logical connectives

v t e Logical connectives
Tautology ( $\top$ )
NAND ( $\uparrow$ ) · Converse implication ( $\leftarrow$ ) · Implication ( $\rightarrow$ ) · OR ( $\lor$ )
Negation ( $\neg$ ) · XOR ( $\oplus$ ) · Biconditional ( $\leftrightarrow$ ) · Statement
NOR ( $\downarrow$ ) · Nonimplication ( $\nrightarrow$ ) · Converse nonimplication ( $\nleftarrow$ ) · AND ( $\land$ )
Contradiction ( $\bot$ )