Set Theoryhard
0:00.0

Let UU be a universal set, and let A,BUA, B \subseteq U. We define the NAND operator on sets as AB=(AB)A \uparrow B = (A \cap B)'. Which of the following set-theoretic expressions is equivalent to the set difference ABA \setminus B using only the \uparrow operator?