# Thread: Formal Proof for Set Equalities

1. ## Formal Proof for Set Equalities

(A intersection B)' = A' Union B'

(A Union B)Intersection C = (A Intersection C) Union (A Intersection C)

Thanks

2. Originally Posted by Edbaseball17
(A intersection B)' = A' Union B'

(A Union B)Intersection C = (A Intersection C) Union (A Intersection C)

Thanks
Draw a Venn diagram picture does it convince you? Now try to formalize.