Or

e1||e2||
is the logical OR function. It evaluates its arguments in order, giving True immediately if any of them are True, and False if they are all False.

DetailsDetails

  • Or[e1,e2,] can be input in StandardForm and InputForm as e_(1)∨e_(2)∨.... The character ∨ can be entered as Esc||Esc, EscorEsc, or \[Or].
  • Or has attribute HoldAll, and explicitly controls the evaluation of its arguments. In e_(1)||e_(2)||... the e_(i) 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.

ExamplesExamplesopen allclose all

Basic Examples  (4)Basic Examples  (4)

Combine assertions with ||:

In[1]:=
Click for copyable input
Out[1]=

A symbolic disjunction:

In[1]:=
Click for copyable input
Out[1]=

A system of equations:

In[1]:=
Click for copyable input
Out[1]=

Enter using EscorEsc:

In[1]:=
Click for copyable input
Out[1]=
Introduced in 1988
(1.0)
| Updated in 1996
(3.0)