sympy/sympy — pull request #1715 by srjoglekar246 (2013-01-16 07:41:41+00:00)
Title: Fix issue 3155

The code checks if expr in simplify function is Boolean. If yes, then simplify_logic from sympy.logic gets called and the simplest logic equivalent is returned.