Prove the following $\neg((A\cap B)\cup (\neg A \cap C)) = (A\cap\neg B)\cup (\neg A\cap \neg C)$
64586
How to prove that $\neg((A\cap B)\cup (\neg A \cap C)) = (A\cap\neg B)\cup (\neg A\cap \neg C)$
75604
Proof that $\partial(A\times B) = ((\partial A)\times B)\cup (A\times(\partial B))$
65379
Deriving $\neg R$ from $\{R↔(R∨(P∧¬P)), R↔¬P, ¬P→(P↔(Q→Q)), P→Q\}$
143735
Prove/Disprove: For any sets $X$ and $Y$, $\overline{X\cap Y} = \bar{X}\cup\bar{Y}$
107383
Derived sets - prove $(A \cup B)' = A' \cup B'$
151852
How to prove $A \subset B \iff A \cup B = B$
115606
Proofs involving $ (A\setminus B) \cup (A \cap B)$
77859
Prove or find a counter example to the claim that for all sets A,B,C if A ∩ B = B ∩ C = A ∩ C = Ø then A∩B∩C ≠ Ø
32402
$(A \implies B) \implies (\neg B \implies \neg A)$?
56399
Proof for $A \cup B = B$ if and only if $A \subset B$
98470
If $A \ne \varnothing$, then $\varnothing^A=\varnothing$
13253
Prove $f(S \cup T) = f(S) \cup f(T)$
13136
Element chasing proof that $(A\setminus C)\setminus(B\setminus C) = (A\setminus B)\setminus C$
138069
Proof that $\bigcap_{a\in A} \bigg(\, \bigcup_{b\in B} F_{a,b} \, \bigg) = \bigcup_{f\in ^AB} \bigg(\, \bigcap_{a \in A} F_{a,f(a)}\,\bigg) $
27899
Can we prove the existence of $A\cup B$ without the union axiom?
13167
Prove $A = (A \setminus B) \cup (A \cap B)$
144502
Showing that $A\cap B = A\setminus (A\setminus B)$