I am doing some Logics and I have truth tables done but I am stumped when it comes to proofs?
Use the Proof method to determine whether the following argument form is valid. (2 points)

1. (~p v q) & ~(q & ~r). Given. p
2. r → p . Given p
SHOW: p ↔ r

If you could give me any assistance that would be really helpful.