Question: Hello I have a question about propositional logic in Discrete Math - The problem that I need help in is that I must solve a

Hello I have a question about propositional logic in Discrete Math -

The problem that I need help in is that I must solve a tautology using only logical equivalences.

(p V q) AND (NOT p V r) -> (q V r)

Which reads as "p or q, and, not p or r, implies q or r".

Thank you

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!