Could someone help me solve the following natural deduction? |- ~ (~A ∧ ~B) ↔ (~A → B) If possible, I need to answer according to the pattern below:
