title: How would I modify the definition of the operators "&&" and "||" so that they do not use short circuit evaluation?
body: <p>How would I modify the definition of the operators &quot;&amp;&amp;&quot; and &quot;||&quot; so that they do not use short circuit evaluation? Please show the new semantic rule.</p>
  <p>I tried the following:
  &quot;AND (&amp;&amp;): It returns expression #1 if it can be converted to false - if else it returns expression #2. Therefore, when used with the Boolean value, it returns true if both operands can be converted to true; otherwise, it returns false.
  OR (||): it returns expression #1 if it can be converted to true – if-else, it returns expression #2. Therefore, when used with Boolean values, || returns true if either operand can be converted to true - if both can be converted to false, it returns false. &quot;</p>
  <p>However, apparently, that's still using short-circuit evaluation.</p>