Give a proof of ⊢ A ≡ B ≡ (A ∧ B) ∨ (ČA ∧ ČB)

Showing all steps and the names of the steps as used.

Thanks!