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