Since all logical formulae can be converted into an equivalent formula in conjunctive normal form, proofs are often based on the assumption that all formulae are CNF.
Како се све логичке формуле могу трансформисати у еквивалентне формуле у КНФ, докази се обично базирају на претпоставци да су све формуле у КНФ.