De Morgan's laws
Converting a formula to DNF involves using logical equivalences, such as double negation elimination, De Morgan's laws, and the distributive law.