Disjunctive Normal Form

A formula is in CNF if it is a disjunction of conjunctions of literals.

So its of the form: