Template
:
Logical connectives sidebar
From WikiProjectMed
Jump to navigation
Jump to search
Logical connectives
AND
A
∧
B
{\displaystyle A\land B}
,
A
⋅
B
{\displaystyle A\cdot B}
,
A
B
{\displaystyle AB}
,
A
&
B
{\displaystyle A\&B}
,
A
&
&
B
{\displaystyle A\&\&B}
equivalent
A
≡
B
{\displaystyle A\equiv B}
,
A
⇔
B
{\displaystyle A\Leftrightarrow B}
,
A
⇋
B
{\displaystyle A\leftrightharpoons B}
implies
A
⇒
B
{\displaystyle A\Rightarrow B}
,
A
⊃
B
{\displaystyle A\supset B}
,
A
→
B
{\displaystyle A\rightarrow B}
NAND
A
∧
¯
B
{\displaystyle A{\overline {\land }}B}
,
A
↑
B
{\displaystyle A\uparrow B}
,
A
∣
B
{\displaystyle A\mid B}
,
A
⋅
B
¯
{\displaystyle {\overline {A\cdot B}}}
nonequivalent
A
≢
B
{\displaystyle A\not \equiv B}
,
A
⇎
B
{\displaystyle A\not \Leftrightarrow B}
,
A
↮
B
{\displaystyle A\nleftrightarrow B}
NOR
A
∨
¯
B
{\displaystyle A{\overline {\lor }}B}
,
A
↓
B
{\displaystyle A\downarrow B}
,
A
+
B
¯
{\displaystyle {\overline {A+B}}}
NOT
¬
A
{\displaystyle \neg A}
,
−
A
{\displaystyle -A}
,
A
¯
{\displaystyle {\overline {A}}}
,
∼
A
{\displaystyle \sim A}
OR
A
∨
B
{\displaystyle A\lor B}
,
A
+
B
{\displaystyle A+B}
,
A
∣
B
{\displaystyle A\mid B}
,
A
∥
B
{\displaystyle A\parallel B}
XNOR
A
XNOR
B
{\displaystyle A\ {\text{XNOR}}\ B}
XOR
A
∨
_
B
{\displaystyle A{\underline {\lor }}B}
,
A
⊕
B
{\displaystyle A\oplus B}
converse
A
⇐
B
{\displaystyle A\Leftarrow B}
,
A
⊂
B
{\displaystyle A\subset B}
,
A
←
B
{\displaystyle A\leftarrow B}
Related concepts
Propositional calculus
Predicate logic
Boolean algebra
Truth table
Truth function
Boolean function
Functional completeness
Applications
Digital logic
Programming languages
Mathematical logic
Philosophy of logic
Category
v
t
e
Template documentation
[
view
] [
edit
] [
history
] [
purge
]
Usage
{{Logical connectives sidebar}}
is a
sidebar
to be used on pages.
The above
documentation
is
transcluded
from
Template:Logical connectives sidebar/doc
.
(
edit
|
history
)
Editors can experiment in this template's sandbox
(
create
|
mirror
)
and testcases
(
create
)
pages.
Add categories to the
/doc
subpage.
Subpages of this template
.
Categories
:
Sidebars with styles needing conversion
Mathematics sidebar templates
Navigation menu
Personal tools
Not logged in
Talk
Contributions
Log in
Namespaces
Template
Talk
English
Views
Read
View source
View history
More
Search
Navigation
Main page
Recent changes
Random page
Donate
Donate
Projects
Wiki Project Med
Community pump
List of articles
Translation
Internet-in-a-Box
Offline app
VideoWiki
OWID
Calculators
Tech
Common links
Import tool
Editors
Upload file
Med updater
Create redirects
Import history
Other projects
Commons
NC Commons
Tools
What links here
Related changes
Special pages
Printable version
Page information