≡
Home
Recent changes
Special pages
Wikipedia
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 {\overline {\wedge }}}
Converse implication
⇐
{\displaystyle \Leftarrow }
Implication
(
IMPLY gate
)
⇒
{\displaystyle \Rightarrow }
Disjunction
(
OR gate
)
∨
{\displaystyle \lor }
Negation
(
NOT gate
)
¬
{\displaystyle \neg }
Exclusive or
(
XOR gate
)
⊕
{\displaystyle \oplus }
Biconditional
(
XNOR gate
)
⊙
{\displaystyle \odot }
Statement
(
Digital buffer
)
Joint denial
(
NOR gate
)
∨
¯
{\displaystyle {\overline {\vee }}}
Nonimplication
(
NIMPLY gate
)
⇏
{\displaystyle \nRightarrow }
Converse nonimplication
⇍
{\displaystyle \nLeftarrow }
Conjunction
(
AND gate
)
∧
{\displaystyle \land }
Contradiction
/
False
⊥
{\displaystyle \bot }
Philosophy portal
