CnfClause function

Clauses in CNF Formulas