imply

Check if antecedent ⇒ consequent (a ⇒ b). 📦 😺 🏃 📼 🌔 📜 📰 📘

boolean.imply(a, b);
// a: antecedent
// b: consequent

const boolean = require('extra-boolean');

boolean.imply(false, false);
// true

boolean.imply(false, true);
// true

boolean.imply(true, true);
// true

boolean.imply(true, false);
// false

References

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