• ← Not
• → True

Or (∨)

WMA link

Or[$expr_1$, $expr_2$, ...]

$expr_1$ || $expr_2$ || ...

evaluates each expression in turn, returning True
as soon as an expression evaluates to True. If all
expressions evaluate to False, Or returns False.

• • False || True

If an expression does not evaluate to True or False, Or
returns a result in symbolic form:

• • a || False || b