Logical disjunction

"Disjunction" redirects here. For the logic gate, see OR gate. For separation of chromosomes, see Meiosis. For disjunctions in distribution, see Disjunct distribution.

"Logical OR" redirects here. For the operator ‖, see Vertical bars (disambiguation).

Logical disjunction

OR
Venn diagram of Logical disjunction
Definition	$x+y$
Truth table	$(1110)$
Logic gate	File:OR ANSI.svg
Normal forms
Disjunctive	$x+y$
Conjunctive	$x+y$
Zhegalkin polynomial	$x\oplus y\oplus xy$
Post's lattices
0-preserving	yes
1-preserving	yes
Monotone	yes
Affine	no
Self-dual	no

File:Venn 0111 1111.svg

Venn diagram of $\scriptstyle A\lor B\lor C$

In logic, disjunction, also known as logical disjunction or logical or or logical addition or inclusive disjunction, is a logical connective typically notated as $\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 $S\lor W$, assuming that $S$ abbreviates "it is sunny" and $W$ abbreviates "it is warm".