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

    Mark44

    User Avatar
    Insights Author

    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

Have something to add?
Similar Discussions: Simplifying a logical equivalence statement without a truth table
  1. Logic/ truth table (Replies: 1)

  2. Truth table (Replies: 1)

Loading...