Anonymous
Not logged in
British English
Log in
Vigyanwiki
Search
Template
:
Logical connectives
From Vigyanwiki
Namespaces
Template
Discussion
More
More
Page actions
Read
View source
History
Logical connectives
v
t
e
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 }
Template documentation
[
create
]
Hidden categories:
Collapse templates
Navigational boxes
Navigational boxes without horizontal lists
Pages with script errors
Sidebars with styles needing conversion
Template documentation pages
Templates generating microformats
Templates that are not mobile friendly
Templates using TemplateData
Wikipedia metatemplates
Navigation
Navigation
Main page
Recent changes
Random page
Help about MediaWiki
Wiki tools
Wiki tools
Special pages
Page tools
Page tools
User page tools
More
What links here
Related changes
Printable version
Permanent link
Page information
Page logs
Other projects
In other languages
Add links
Hidden categories
Hidden categories
Collapse templates
Navigational boxes
Navigational boxes without horizontal lists
Pages with script errors
Sidebars with styles needing conversion
Template documentation pages
Templates generating microformats
Templates that are not mobile friendly
Templates using TemplateData
Wikipedia metatemplates