When a compound expression is evaluated, the evaluation proceeds
from left to right and as soon as the result of the outcome is assured,
evaluation stops. Thus, in the case of an AND evaluation, when one of
the terms evaluates to false, evaluation is discontinued because
additional true terms cannot make the result ever become true. In the
case of an OR evaluation, if any of the terms is found to be true,
evaluation stops because it will be impossible for additional terms to
cause the result to be false. In the case of additionally nested terms, the
above rules will be applied to each of the nested levels.