Module with methods for transforming formulas to Conjunctive Normal Form