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
impli
kuje
a
or
(
…
?
…
)
=
true
•
a
=
false
impli
kuje
a
and
(
…
?
…
)
=
false
Pozn.
:
(
…
?
…
)
n
ení
vyhodnoceno
.