sympy/sympy — pull request #1730 by srjoglekar246 (2013-01-23 13:49:22+00:00)
Title: Functions for Disjunctive Normal Form

Added functions for dnf form, given to_dnf and to_cnf added attribute to enable simplification