1) (a and b) = p:
if a = false then p = false else p = b
2) (a or b) = p:
if a = true then p = true
else p = b
Short Evaluation (Jumping Code)
48/69
Idea:
• a = true implies a or (   …   ?   …   ) = true
• a = false implies a and (   …   ?   …   ) = false
Note: (   …   ?   …   ) is not evaluated.