SgtMook/sympy — comment on commit ca77efdd77b4c633bcec15104f6f2359b69556d9
File: sympy/logic/boolalg.py line 220
By haz:

I'm not sure these lines make sense here -- the second one is especially confusing given what logical implication is meant to be. The implication fails to hold (i.e., evaluates to false) if and only if A holds and B doesn't. Any other case (A not holding, B holding, etc) causes the implication to hold.