prefixNOT
(p: BOOLEAN) : BOOLEAN
infixAND
(p,q: BOOLEAN) : BOOLEAN
infixOR
(p,q: BOOLEAN) : BOOLEAN
NOT p
is the complement of p
.
p AND q
is TRUE
if both p
and q
are TRUE
.
If p
is FALSE
, q
is not evaluated.
p OR q
is TRUE
if at least one of p
and q
is
TRUE
. If p
is TRUE
, q
is not evaluated.