Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Math Logic
#9
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
Reply


Messages In This Thread
Math Logic - by Manu - 2011-03-08, 02:13 PM
Math Logic - by OB3LISK - 2011-03-08, 02:28 PM
Math Logic - by Shidoshi - 2011-03-08, 02:30 PM
Math Logic - by HellenzSin - 2011-03-08, 03:00 PM
Math Logic - by Kalovale - 2011-03-08, 03:15 PM
Math Logic - by Manu - 2011-03-08, 03:23 PM
Math Logic - by OB3LISK - 2011-03-08, 03:23 PM
Math Logic - by Kalovale - 2011-03-08, 03:32 PM
Math Logic - by HellenzSin - 2011-03-08, 03:49 PM
Math Logic - by shouri - 2011-03-08, 04:02 PM
Math Logic - by Manu - 2011-03-08, 04:11 PM
Math Logic - by HellenzSin - 2011-03-08, 04:12 PM
Math Logic - by Shidoshi - 2011-03-08, 04:15 PM
Math Logic - by HellenzSin - 2011-03-08, 04:49 PM

Forum Jump:


Users browsing this thread: 1 Guest(s)