CNFerModule

Transforms its received formula into conjunctive normal form CNF.

Efficiency

The worst case complexity of this module is polynomial in the number of operators in the formula to transform.