How to do 1.8.7

P1.8.7 Prove that the compound propositions pAg + r) and ( + 91-r) are equivalent by using the Equivalence and Implication Rule and constructing two deductive sequence proofs. P1.8.8 Consider the islander problem of Problem 1.7.9. For each of the three islanders, either derive a contradiction from the assumption they are telling the truth or derive a contradiction from