Created a function to_NNF to first convert the boolean expression into NNF and created a function Distribute that will convert the NNF expression to Conjunctive Normal Form
Created a function to_NNF to first convert the boolean expression into NNF and created a function Distribute that will convert the NNF expression to Conjunctive Normal Form

kaushik94/sympy,kaushik94/sympy,kaushik94/sympy