nimply

Checks if antecedent ⇏ consequent (a ⇏ b). 📰 📘

Similar: imply, nimply.
Similar: imply, eq.

nimply a b
-- a: antecedent
-- b: consequent

import Boolean exposing (..)

nimply True False
-- True

nimply True True
-- False

nimply False True
-- False

nimply False False
-- False

References

• Boolean operators: QBasic 1.1
• Imp operator: Microsoft Docs
• NIMPLY gate