However, in some cases conversion to DNF can lead to an exponential explosion of the formula.
Сепак, во некои случаи, претворањето во ДНФ може да доведе до експоненцијално проширување на формулата.