Question: Stuck on how to simplify it using the left distributive rules. The problem is to write a logical proof proving this statement. ((p+r)^(q + r)
Stuck on how to simplify it using the left distributive rules. The problem is to write a logical proof proving this statement.

((p+r)^(q + r) + (PV-q) =T. (For this problem, for simplicity of presentation you can also use the "Left Distributive" laws, which say that (pVq) Ar = (p Ar) v (Ar) and (p19) Vr = (p Vr) ^ (Vr). These can be derived by using Commutativity once then ordinary Distributivity followed by two parallel applications of Commutativity.)
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
