Truth tables: (p -> ~r) v (~q -> r)

Sequences, counting (including probability), logic and truth tables, algorithms, number theory, set theory, etc.
cnrep32
Posts: 1
Joined: Sun Oct 17, 2010 2:31 pm
Contact:

Truth tables: (p -> ~r) v (~q -> r)

Postby cnrep32 » Sun Oct 17, 2010 2:36 pm

I really don't understand truth tables and I need to know them for my take home test. Can somebody please help???

(p -> ~r) v (~q -> r)
---------
And this one that asks to determine if the statement: ~(q v r) v p is logically equivalent to the statement: ~ p -> (~r ^ ~ q)

Thank you!!!

User avatar
Martingale
Posts: 350
Joined: Mon Mar 30, 2009 1:30 pm
Location: USA
Contact:

Re: Truth tables: (p -> ~r) v (~q -> r)

Postby Martingale » Sun Oct 17, 2010 7:05 pm

cnrep32 wrote:I really don't understand truth tables and I need to know them for my take home test. Can somebody please help???

(p -> ~r) v (~q -> r)
---------
And this one that asks to determine if the statement: ~(q v r) v p is logically equivalent to the statement: ~ p -> (~r ^ ~ q)

Thank you!!!


Where are you stuck?

ambidex
Posts: 4
Joined: Thu Aug 04, 2011 5:45 pm
Contact:

Re: Truth tables: (p -> ~r) v (~q -> r)

Postby ambidex » Fri Aug 05, 2011 5:46 pm

use the fact: p > q = ~p v q I used to mix up this equivalence all the time in my head, thinking it was "and" instead of "or". double check that, it if it's correct, i can help you further!


Return to “Discrete Math”