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

This isn't necessarily the case -- the arguments only need to be equivalent (you even give an example where none of the arguments are True, but the equivalence holds). I'd suggest putting in examples to make this more clear (e.g., Equivalent(x, And(x, True))).