However, in some cases conversion to DNF can lead to an exponential explosion of the formula.
با این حال در برخی موارد تبدیل به dnf می‌تواند به انفجار نمایی از فرمول منجر شود.