Rewrite each of these statements so that negations appear only within predicates (that is, so that no negation is outside a quantifier or an expression involving logical connectives). a) Vxy P(x, y) b) y(x P(x, y) A Vx3z-Q(x, y, z)) c) WyVx3z (P(x, y, z) Q(x, y))