equivalent
The logical equivalence operator.
Syntax
-
equivalent(p, q)
-
p
andq
are booleans
-
Description
equivalent
implements the ⇔
operator.
The logical equivalence operator.
equivalent(p, q)
p
and q
are booleans
equivalent
implements the ⇔
operator.