Skip to content
Subhajit Sahu edited this page Mar 25, 2021 · 5 revisions

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

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


nimply(a, b)
# a: antecedent
# b: consequent
from extra_boolean import nimply


nimply(True, False)
# True

nimply(True, True)
# False

nimply(False, True)
# False

nimply(False, False)
# False


References

Clone this wiki locally