Consider the following BNF syntax rule for the logical and operator:

::$=$ &&

Define both the M and M mappings for given:

the language supports short$-$circuit evaluation of the and operator $($i$.$e the right hand operand is

not evaluated if the result of the and can be determined entirely by the left hand operand$),$ and

may produce side effects

You may assume all necessary denotational semantic mapping functions are already defined for

$.$