Combine assertions with ||:

A symbolic disjunction:

A system of equations:

Enter using or:

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:

TraditionalForm formatting:

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 assumptions:

Combine equations and inequalities; Or is used both in the input and the output:

Use || to combine conditions:

A cellular automaton based on Or :

Find the area of the union of sets given by algebraic conditions:

This shows the set:

Truth table for binary Or :

Ternary Or :

Zero-argument Or is False :

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: