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.
