ド・モルガンの法則
Converting a formula to DNF involves using logical equivalences, such as double negation elimination, De Morgan's laws, and the distributive law.