Logical disjunction

related topics
{math, number, function}
{language, word, form}
{style, bgcolor, rowspan}

In logic and mathematics, or, also known as logical disjunction or inclusive disjunction, is a logical operator that results in true whenever one or more of its operands are true. E.g. in this context, "A or B" is true if A is true, or if B is true, or if both A and B are true. In grammar, or is a coordinating conjunction. In ordinary language "or" sometimes has the meaning of exclusive disjunction.

Contents

Notation

Or is usually expressed with an infix operator. In mathematics and logic, it is usually ; in electronics, +; and in programming languages, | or or. Some programming languages have a related control structure, the short-circuit or, written ||, or else, etc.

Definition

Logical disjunction is an operation on two logical values, typically the values of two propositions, that produces a value of false if and only if both of its operands are false. More generally a disjunction is a logical formula that can have one or more literals separated only by ORs. A single literal is often considered to be a degenerate disjunction.

Truth table

The truth table of ~A \or B:


Properties

The following properties apply to disjunction:

Full article ▸

related documents
Complement (set theory)
Binary function
Divisor
Lagrange's theorem (group theory)
Simple LR parser
Lipschitz continuity
Greedy algorithm
Chomsky normal form
Ordered field
Graded algebra
Uncountable set
Amicable number
Nash embedding theorem
Kernel (category theory)
Goldbach's weak conjecture
Topological ring
De Moivre's formula
Regular language
Twin prime conjecture
Parity (mathematics)
Identity element
Separated sets
Magma (algebra)
Euphoria (programming language)
Box-Muller transform
CLU (programming language)
Heaviside step function
PILOT
Normal subgroup
PSPACE-complete