We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Checks if antecedent ⇒ consequent (a ⇒ b). 📰 📘
Similar: imply, nimply. Similar: imply, eq.
imp(a, b) # a: antecedent # b: consequent
from extra_boolean import imp imp(False, False) # True imp(False, True) # True imp(True, True) # True imp(True, False) # False