OpenStudy (anonymous):

Prove [(p∧q) → r] → [(p→r)⋁(q→r)]