I got a couple of proofs not really sure sure the best way to prove them

AcBorAcC <=> Ac(B(intersection)C)

and

AcCandBcD => (AxB)c(Axc)

and

AU(B/C)=(AuB)\(AuC)

i'm pretty sure all 3 of these statements are false just don't know how to prove it. Just to clarify u is union and c is belongs too and (intersection) is of course intersection