Negation Normal Form Implemented