A connective in logic which yields true if any one of a sequence conditions is true,
and false if all conditions are false.
In formal logic, the term disjunction (or, more specifically,
inclusive disjunction) is commonly used to describe the OR operator. OR
is denoted (Mendelson 1997, p. 13), , (Simpson 1987, p. 539), or (Simpson 1987, p. 539). The circuit diagram symbol
for an OR gate is illustrated above.

The symbol derives from the first letter of the
Latin word "vel," meaning "or," and the expression is voiced either " or "
or " vel ." The way to distinguish the similar symbols (AND) and (OR) is to note that the symbol for AND is oriented in the
same direction as the capital letter 'A." The OR operation is implemented in
the Wolfram Language as Or[A,
B, ...].

The OR operation can be written in terms of NOT and AND
as

(Mendelson 1997, p. 26).

The binary OR operator has the following truth
table (Carnap 1958, p. 10; Simpson 1987, p. 542; Mendelson 1997, p. 13).

T

T

T

T

F

T

F

T

T

F

F

F

A product of ORs is called a disjunction and is denoted

For example, the truth table for the ternary OR operator
is shown below (Simpson 1987, p. 543).

T

T

T

T

T

T

F

T

T

F

T

T

T

F

F

T

F

T

T

T

F

T

F

T

F

F

T

T

F

F

F

F

A bitwise version of OR can also be defined that performs a bitwise OR on the binary digits of two numbers
and and then converts the resulting binary
number back to decimal. Bitwise OR is sometimes denoted and is implemented in the Wolfram
Language as BitOr[n1,
n2, ...]. The illustration above plots the bitwise OR of the array of numbers
from to 31 (Wolfram 2002, p. 871).