eqv

Checks if antecedent ⇔ consequent (x ⇔ y). 📰 📘

Similar: eq, neq.
Similar: imply, eq.

eqv a b
-- a: antecedent
-- b: consequent

import Boolean exposing (..)

eqv False False
-- True

eqv True True
-- True

eqv False True
-- False

eqv True False
-- False

References

• Boolean operators: QBasic 1.1
• Eqv operator: Microsoft Docs
• Logical equality