\forall x\ \bigl(P(x)\lor Q(x)\bigr)\land\exists x\ \lnot P(x)\land\exists x\ \lnot Q(x)