TOPICS
Search

Disjunction


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 a_i.


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