Dudas con problema regla de inferencia

Debo demostrar este problema de lógica, relacionado con las reglas de inferencia. Espero su ayuda

1.    (p^q) —> ~r

2.    [r v (s^t)]
3.    (P <—> q)

c.     P —> S