- Or[e1,e2,…] can be input in StandardForm and InputForm as . The character can be entered as ||, or, or \[Or].
- Or has attribute HoldAll, and explicitly controls the evaluation of its arguments. In the are evaluated in order, stopping if any of them are found to be True.
- Or gives symbolic results when necessary, removing initial arguments that are False.
Examplesopen allclose all
Basic Examples (4)
Or works with any number of arguments:
Or is associative:
Or with explicit True or False arguments will simplify:
Or evaluates its arguments in order, stopping when an argument evaluates to True:
The order of arguments may be important:
Symbolic transformations will not preserve argument ordering:
Combine conditions in a Wolfram Language program:
If an argument of Or evaluates to True, any subsequent arguments are not evaluated:
The argument order in Or matters; if the last two arguments are reversed, I≥0 is evaluated:
Combine equations and inequalities; Or is used both in the input and the output:
A cellular automaton based on Or:
Find the area of the union of sets given by algebraic conditions:
Properties & Relations (7)
Truth table for binary Or:
Or with a single argument will return the evaluated argument regardless of value:
&& has higher precedence than ||:
Use BooleanConvert to expand And with respect to Or:
De Morgan's laws relate And, Or, and Not:
Disjunction of conditions corresponds to the Max of Boole functions:
Wolfram Research (1988), Or, Wolfram Language function, https://reference.wolfram.com/language/ref/Or.html (updated 1996).
Wolfram Language. 1988. "Or." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 1996. https://reference.wolfram.com/language/ref/Or.html.
Wolfram Language. (1988). Or. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Or.html