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