Imp

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

Similar: Imply, Nimply.
Similar: Imply, Eq.

boolean.Imp(a, b)
// a: antecedent
// b: consequent

import (
	boolean "github.com/golangf/extra-boolean"
)

boolean.Imp(false, false)
// true

boolean.Imp(false, true)
// true

boolean.Imp(true, true)
// true

boolean.Imp(true, false)
// false

References

• Boolean operators: QBasic 1.1
• Imp operator: Microsoft Docs
• IMPLY gate
• Material conditional