1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Simplifying a logical equivalence statement without a truth table

  1. Jan 25, 2010 #1
    1. The problem statement, all variables and given/known data
    [(p->r) ^ (q->r)] -> (p ^ q) -> r

    2. Relevant equations
    anything but a truth table! laws such as (p->q)= ~(p^~q) or (p->q)=(~q->~p) might help
  2. jcsd
  3. Jan 29, 2010 #2


    Staff: Mentor

    See how far you get using the relevant equations you showed. Other relevant equations that will come in handy are DeMorgan's Laws, ~(p ^ q) <==> ~p V ~q, and ~(p V q) <==> ~p ^ ~q.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook