\exists x (A(x) \wedge \neg B(x))\Rightarrow (\exists x A(x)\wedge \exists x \neg B(x))