Category:Logical connectives
Wikimedia Commons has media related to
Logical connectives
.
The main article for this
category
is
Logical connective
.
See also:
Category:Logic symbol templates
v
t
e
Common
logical connectives
Tautology
/
True
⊤
{\displaystyle \top }
Alternative denial
(
NAND gate
)
↑
{\displaystyle \uparrow }
Converse implication
←
{\displaystyle \leftarrow }
Implication
(
IMPLY gate
)
→
{\displaystyle \rightarrow }
Disjunction
(
OR gate
)
∨
{\displaystyle \lor }
Negation
(
NOT gate
)
¬
{\displaystyle \neg }
Exclusive or
(
XOR gate
)
↮
{\displaystyle \not \leftrightarrow }
Biconditional
(
XNOR gate
)
↔
{\displaystyle \leftrightarrow }
Statement
(
Digital buffer
)
Joint denial
(
NOR gate
)
↓
{\displaystyle \downarrow }
Nonimplication
(
NIMPLY gate
)
↛
{\displaystyle \nrightarrow }
Converse nonimplication
↚
{\displaystyle \nleftarrow }
Conjunction
(
AND gate
)
∧
{\displaystyle \land }
Contradiction
/
False
⊥
{\displaystyle \bot }
Philosophy portal
