∨ (logical or)
The logical disjunction (or) operator.
Syntax
-
p ∨ q[ ∨ ...]-
p, q, ...are booleans
-
Description
∨ is the logical disjunction operator. The truth table for ∨ is as follows:
|
qp
|
false | true |
|---|---|---|
| false | false | true |
| true | true | true |
∨ is an n-ary operator implemented by the or function.
Boolean short-circuit evaluation is employed: This means that the operands of the disjunction are evaluated sequentially from left to right and stops as soon as true is returned.
In other words, q isn’t evaluated in p ∨ q if p is true.
See also
-
Logical operators (list)