1. Not finding help here? Sign up for a free 30min 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

    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...