OR
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).
Contact the MathWorld Team
AND
