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