I am working on a two-part question in which I am supposed to find the logic statement of the logic circuit shown below (which I have already done), and then minimize the statement in order to remove redundant terms. I am fairly certain that I got the statement correct, but I have no idea how to minimize it; this is due to me not knowing how to properly use logical equivalences. Is there anyone who can assist me in minimizing my statement for the circuit?

My statement for the above circuit: [ (A ∧ B) ∧ ¬(B ∧ C) ] ∧ [ ¬(C v D) v ¬(B ∧ C) ]