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
