2011-03-08, 03:49 PM
Darkmaniak Wrote:That's the step that intrigues me, how do you get to do that, what properties are you using?
Don't remember the name, but:
p ^ (~p v q) = p ^ q
~(p^(~p v q)) = ~(p ^ q)
~p v (p ^ ~q) = ~p v ~q

