Задачи. 1.Указать, в каких случаях необходимо произвести пере-именование переменных при вынесении кванторов

1.Указать, в каких случаях необходимо произвести пере-именование переменных при вынесении кванторов:

а) "x"y(Р(х,y)®Q(x))®$ zR(x,y,z); б) Ø$x"y$ z"uR (х, y, z,u) &Ø$yB(х, y); в) $x"yA(x, y)&Ø$ x"y B(х, y); г) $xØ"yA(x,y,z) º Ø$ x"yB(х,y); д) Ø"x$y A(x,y)®Ø$ x"y((B(х,y) º C(x,z)); е) "x"y$z(A(х,y)® B(x,z))º$zC(x, y, z); ж) $x"yØ"uØ A(x, y, z, u) Ú $ xØ"y B(х, y, z, u).