Man kan omforme enhver utsagnslogisk formel til DNF ved å bruke logiske ekvivalenser som eliminering av dobbel negasjon, De Morgans lover og distribusjonsloven. I enkelte tilfeller kan imidlertid en omforming til DNF føre til en eksponensiell økning i størrelsen på formelen.