Simplify the following statements with nested quantifiers until each negation sign applies

directly to a predicate

For example, $($A$($x$)$ B$($x$))$ is not valid but $$A$($x$)$B$($x$)$ is valid.

$1.$x$$y $($A$($x$,$ y$)$z $($B$($x$)$ C$($y$,$ z$)))$

$2.($y$$x $($A$($y$,$ x$)$ C$($x$,$ y$))($z B$($z$)))$