| or | operator |
| Syntax | A or B
|
| Description | The or (boolean) operator yields a result of true if at least one (or both) of the operands is true. or is a short circuit operator. For example, if A is true in A or B then B is not evaluated.
|
| Example |
var success : boolean := false
var continuing := true % the type is boolean
…
continuing := continuing or success
|
| Details | continuing is set to false, if and only if, both continuing and success are false. Since Turing uses short circuit operators, once continuing is true, success will not be looked at. The or operator can be applied to natural numbers. The result is the natural number that is the bit-wise or of the operands. See nat (natural number).
|
| See also | boolean (which discusses true/false values), explicitTrueFalseConstant (which discusses the values true and false), precedence and expn (expression).
|