Chapter 1.5, Problem 32E

Express the negations of each of these statements so that all negation symbols immediately precede predicates.

a) $\exists x\forall y\forall xT\left(x,y,z\right)$

b) $\exists x\exists yP\left(x,y\right)\wedge \forall x\forall yQ\left(x,y\right)$

c) $\exists x\exists y\left(Q\left(x,y\right)\leftrightarrow Q\left(y,x\right)\right)$

d) $\forall y\exists x\exists z\left(T\left(x,y,z\right)\vee Q\left(x,y\right)\right)$