I have to convert the following formula to a DNF and CNF:
Removing the arrows and using DeMorgan Laws, I ended up with:
$((¬x \vee ¬y) \wedge (z \wedge x)) \vee (y \wedge ¬z)$
Using the associative law I ended up with:
$((¬x \vee ¬y) \wedge (y \wedge ¬z)) \vee ((z \wedge x) \wedge (y \wedge ¬z))$
Now this is where I'm stuck. I'm not entirely sure whether or not I just did something wrong along the way. This looks kind of like a DNF, and since it has both y and not y on the left and z and not z on the right, it looks reminescent of a contradiction, but I am kind of stuck as neither of the two terms is a conjunction of atoms, but rather of smaller formulas.