We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
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