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

Added:

>>> Not(And(And(True, x), Or(x, False)))
Not(x)

Not too sure if that is what you meant though, tell me if it needs fixing.