Functions for Disjunctive Normal Form

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