Conjunctive Normal Form

A formula is in CNF if it is a conjunction of disjunctions of literals.

So its of the form: