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!

How Do I Prove This Tautology?

  1. May 26, 2013 #1
    1. The problem statement, all variables and given/known data

    [ (p or r) & (not(p) or r) ] ---> r is a tautology. Prove this without using truth tables.

    2. Relevant equations

    See above. not(p) = !p = p' = the opposite value of p and ---> is an implication.

    3. The attempt at a solution

    I have made some prior simplification, and that is what I have at present. I don't know where to go from here. Expanding the terms seems to make things too complicated. Is there a shorter way?

    Any help would be greatly appreciated!
  2. jcsd
  3. May 26, 2013 #2
    Nevermind, I've solved it! For anyone interested in the solution, I just had to distribute the implication and then expanding was a lot quicker!
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted

Similar Discussions: How Do I Prove This Tautology?
  1. How do I add these? (Replies: 3)

  2. How do I solve this? (Replies: 1)