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

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

Similar: eq, neq.
Similar: imply, eq.


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


eqv(False, False)
# True

eqv(True, True)
# True

eqv(False, True)
# False

eqv(True, False)
# False


References

Clone this wiki locally