sympy/sympy — pull request #2559 by srjoglekar246 (2013-10-30 01:10:24+00:00)
Title: Fixed to_cnf/to_dnf simplification

Havent added docstrings and tests.