Convert
$((p \wedge q) → r) \wedge (¬(p \wedge q) → r)$
to DNF.
This is what I've already done:
$((p \wedge q) → r) \wedge (¬(p \wedge q) → r)$
$(¬(p \wedge q) \vee r) \wedge ((p \wedge q) \vee r)$
$((¬p \vee ¬q) \vee r) \wedge ((p \wedge q) \vee r)$
And from this point I'm not sure how to proceed. Help would be appreciated.
Sorry, but the last line was written badly (I think). It's fixed now.