convert a formula to DNF

A formula is easily converted to a DNF by taking true rows of its truth table as disjuncts. For each true row, if the variable $p$ is true, use $p$, otherwise use $\neg p$.

Another more efficient way is to use the De Morgan’s law (see @lewisEssentialDiscreteMathematics2019 Theorem 10.8).