a formula is in conjunctive normal form (cnf) or clausal normal form if it is a conjunction of one or more clauses, where a clause is a disjunction of literals; otherwise put, it is a product of sums or an AND of ORs.
a cnf is a -cnf if each of its clauses has at most literals. [cite:;taken from @complexity_jukna_2012 chapter 1 our adversary: the circuit]
-cnf if each of its