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!

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.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Threads - Simplifying logical equivalence Date
Logic Proposition Proof Mar 16, 2018
Simplify an expression Dec 9, 2017
Simplifying transfer function block diagram Sep 18, 2017
How to simplify cube root expression May 15, 2017