neq

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

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

neq a b
-- a: antecedent
-- b: consequent

import Boolean exposing (..)

neq True False
-- True

neq True False
-- True

neq True True
-- False

neq False False
-- False

References

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