Can I ask if my answer is correct or not, I am not sure if I did it right. Feel free to correct me, I always confused in solving this kind of problem. Thank you!
1. A∧(A→B) →B
A∧(⇀A∨B) → B
A∧(⇀(⇀A∨B) ∨ B)
A∧((A∧⇀B) ∨ B)
2. A∧B⇔A∨B
(A∧B→A∨B) ∧ (A∨B→A∧B)
(⇀(A∧B) ∨ (A∨B)) ∧ (⇀(A∨B) ∨ (A∧B))
(⇀A∨B) ∧ (⇀B∨A)