Question

Need help supplying proo f for the following problem using the rules of inference

1. (Z.Y)> X
2. ~O>Z
3. ~Y>O
4. ~O.T /S