The term in logic used to describe the operation commonly known as OR. A literal is considered a (degenerate) disjunction (Mendelson
1997, p. 30).
The Wolfram Language command Disjunction[expr,
a1, a2, ...
] gives the disjunction of expr over all choices of
the Boolean variables 
.
See also
Conjunction,
Disjunctive Normal Form,
Disjunctive Syllogism,
OR
Explore with Wolfram|Alpha
References
Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, 1997.Referenced
on Wolfram|Alpha
Disjunction
Cite this as:
Weisstein, Eric W. "Disjunction." From
MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Disjunction.html
Subject classifications
