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

Sequences, counting (including probability), logic and truth tables, algorithms, number theory, set theory, etc.

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

Postby cnrep32 on 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!!!
cnrep32
 
Posts: 1
Joined: Sun Oct 17, 2010 2:31 pm

Sponsor

Sponsor
 

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

Postby Martingale on 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?
User avatar
Martingale
 
Posts: 350
Joined: Mon Mar 30, 2009 1:30 pm
Location: USA

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

Postby ambidex on 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!
ambidex
 
Posts: 4
Joined: Thu Aug 04, 2011 5:45 pm


Return to Discrete Math

cron