An optimization where the second operand of `and` or `or` is not evaluated if the result can be determined from the first operand alone. Enabled by `{$B-}` in Free Pascal (the default). See also *complete Boolean evaluation*. (Ch. 5)