SYMBOLIC QUESTION! construct an annotated derivation for the arguement?

Question

construct an annotated derivation for the arguement

1. ~P V (~Q @ ~R)
2. ~Q > (~R > P)
therefor 3. P < (~Q @ ~R)

Answer 1

If "<" means equivalence, commonly ≡, then

1. ~P v (~Q & ~R)
2. ~Q → (~R → P)
3. P → (~Q & ~R) .... from 1, material implication
4. (~Q & ~R) → P .... from 2, exportation
5. P ≡ (~Q & ~R) .... from 3,4 biconditional

I hope you know the specific rules and the names of them vary from one logic text to another. I've taught out of several of them.