SOLUTION: 1. pV(q . r) 2. ~p /q . r How do I get q . r? Thought line 3 was: (pVq) . (pVr) 1, Dist......Now I'm stuck and don't know how to get q . r Please help!

Algebra ->  Algebra  -> Proofs -> SOLUTION: 1. pV(q . r) 2. ~p /q . r How do I get q . r? Thought line 3 was: (pVq) . (pVr) 1, Dist......Now I'm stuck and don't know how to get q . r Please help!      Log On

Ad: Algebrator™ solves your algebra problems and provides step-by-step explanations!
Ad: Algebra Solved!™: algebra software solves algebra homework problems with step-by-step help!

   

Question 608113: 1. pV(q . r)
2. ~p /q . r
How do I get q . r? Thought line 3 was: (pVq) . (pVr) 1, Dist......Now I'm stuck and don't know how to get q . r Please help!
Answer by jim_thompson5910(28595) About Me  (Show Source):
You can put this solution on YOUR website!
No need to use distribution. You can if you want, but that adds on more unneeded lines.

Simply use disjunctive syllogism on lines 1 and 2 to get q . r