Logical disjunction

Logical disjunction

OR
Definition	${\displaystyle x+y}$
Truth table	${\displaystyle (1110)}$
Logic gate
Normal forms
Disjunctive	${\displaystyle x+y}$
Conjunctive	${\displaystyle x+y}$
Zhegalkin polynomial	${\displaystyle x\oplus y\oplus xy}$
Post's lattices
0-preserving	yes
1-preserving	yes
Monotone	yes
Affine	no
Self-dual	no

Logical connectives
NOT ${\displaystyle \neg A,-A,{\overline {A}},\sim A}$ AND ${\displaystyle A\land B,A\cdot B,AB,A\ \&\ B,A\ \&\&\ B}$ NAND ${\displaystyle A{\overline {\land }}B,A\uparrow B,A\mid B,{\overline {A\cdot B}}}$ OR ${\displaystyle A\lor B,A+B,A\mid B,A\parallel B}$ NOR ${\displaystyle A{\overline {\lor }}B,A\downarrow B,{\overline {A+B}}}$ XNOR ${\displaystyle A\odot B,{\overline {A{\overline {\lor }}B}}}$ └ equivalent ${\displaystyle A\equiv B,A\Leftrightarrow B,A\leftrightharpoons B}$ XOR ${\displaystyle A{\underline {\lor }}B,A\oplus B}$ └nonequivalent ${\displaystyle A\not \equiv B,A\not \Leftrightarrow B,A\nleftrightarrow B}$ implies ${\displaystyle A\Rightarrow B,A\supset B,A\rightarrow B}$ nonimplication (NIMPLY) ${\displaystyle A\not \Rightarrow B,A\not \supset B,A\nrightarrow B}$ converse ${\displaystyle A\Leftarrow B,A\subset B,A\leftarrow B}$ converse nonimplication ${\displaystyle A\not \Leftarrow B,A\not \subset B,A\nleftarrow B}$
Related concepts
Propositional calculus Predicate logic Boolean algebra Truth table Truth function Boolean function Functional completeness Scope (logic)
Applications
Digital logic Programming languages Mathematical logic Philosophy of logic
Category

In logic, disjunction (also known as logical disjunction, logical or, logical addition, or inclusive disjunction) is a logical connective typically notated as ${\displaystyle \lor }$ and read aloud as "or". For instance, the English language sentence "it is sunny or it is warm" can be represented in logic using the disjunctive formula ${\displaystyle S\lor W}$, assuming that ${\displaystyle S}$ abbreviates "it is sunny" and ${\displaystyle W}$ abbreviates "it is warm".

In classical logic, disjunction is given a truth functional semantics according to which a formula ${\displaystyle \phi \lor \psi }$ is true unless both ${\displaystyle \phi }$ and ${\displaystyle \psi }$ are false. Because this semantics allows a disjunctive formula to be true when both of its disjuncts are true, it is an inclusive interpretation of disjunction, in contrast with exclusive disjunction. Classical proof theoretical treatments are often given in terms of rules such as disjunction introduction and disjunction elimination. Disjunction has also been given numerous non-classical treatments, motivated by problems including Aristotle's sea battle argument, Heisenberg's uncertainty principle, as well as the numerous mismatches between classical disjunction and its nearest equivalents in natural languages.

An operand of a disjunction is a disjunct.