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