I have a formula
$(L\Leftrightarrow (A\vee J))$
and I am to turn it into DNF and CNF. When I use de Morgan rules and so on, the formula looks like
$(L\Rightarrow (A\vee J))\wedge ((A\vee J)\Rightarrow L)$
$(\lnot L\vee (A\vee J))\wedge ((\lnot A\wedge \lnot J)\vee L)$
the CNF is pretty easy its
$(\lnot L \vee A\vee J)\wedge (L\vee \lnot A)\wedge (L\vee \lnot J)$
But how can I make DNF out of this formula?