A∀x∃y(¬P(u，x)∧¬Q(y))B∀x∀y(¬P(u，x)∧¬Q(y))C∀x∃y(¬P(u，x)→Q(y))D∀x∀y(¬P(u，x)→Q(y))