rator||}(x,y) = \begin{cases} 1 &amp; \text{if $x \neq 0$}
\textrm{ or } y \neq 0\\ 0 &amp; \text{otherwise} \end{cases} \]</span></p>
<div id="boolean-operator-short-circuiting" class="section level4">
<h4><span class="header-section-number">3.5.2.1</span> Boolean Operator Short Circuiting</h4>
<p>Like in C++, the boolean operators <code>&amp;&amp;</code> and <code>||</code> and are implemented
to short circuit directly to a return value after evaluating the first
argument if it is sufficient to resolve th