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. ¬∀y∀x (p(x, y) ∨ q(x, y))b. ¬(∃x∃y¬p(x, y) ∧ ∀x∀yq(x, y))