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
Zkratové vyhodnocování
48/69
Myšlenka:
• a = true implikuje a or (   …   ?   …   ) = true
• a = false implikuje a and (   …   ?   …   ) = false
Pozn.: (   …   ?   …   ) není vyhodnoceno.