1.3.3. Приведите к предваренной нормальной форме следующие формулы логики предикатов:

y x T(y, x)  z x Q(z, x) ;

y x U(y, x)  x y R(y, x) ;

y x T(y, x)  y x Q(y, x);

y x U(y, x)  x y R(y, x) ;

y x z K(y, x, z)  x z y P(y, x, z) ;

y (x y G(y, x)  s x N(y, x, s)) ;

y x U(y, x)  x y Q(y, x) ;

y x z H(x, y, z)  y x G(y, x) ;

x y P(y, x)  y x Q(y, x) ;

y x z U(x, y, z)  y x z G(y, x, z) ;

y x A(y, x)  y z P(y, z) ;

y x K(y, x)  z y x Q(y, x, z) ;

x y A(x, y)  y  x R(y, x) ;

y x U(y, x)  x y P(y, x) ;

y m z P(y, m, z)  m y z G(m, y, z) ;

x ((y A(x, y)  y P(y, x))) ;

y m U(y, m)  x y Q(y, x);

z x T(z, x)  y x U(y, x) ;

x (y U(y, x)  y Q(y, x)) ;

z x y Q(z, x, y)  y x A(y, x) ;

x y T(y, x)  y x H(y, x) ;

y  x U(y, x)  y z Q(y, z) ;

x y A(x, y)  y z T(y, z) ;

y m z U(y, m, z)  y z Q(y, z);

n y x P(n, y, x)  y n x R(n, y, x) ;

n y x P(n, y, x)  y n A(n, y) ;

y (m U(y, m)  x m Q (y, x, m)) ;

n y x P(n, y, x)  y n A(n, y) ;

y (m x U(y, x, m)  x m Q (y, x, m)) ;

y  x G(y, x)  y x Q(y, x) ;

z x T(z, x)  y x U(y, x) ;

x (y U(y, x)  y Q(y, x)) ;

x y T(y, x)  y x H(y, x) ;

y  x U(y, x)  y x Q(y, x);

x y R(x, y)  y x P(y, x);

x y A(x, y)  y z T(y, z) ;

y m z U(y, m, z)  x y z Q(y, x, z) ;

x ((y A(x, y)  y P(y, x))) ;

y x U(y, x)  x y Q(y, x) ;

y x P(y, x)  z y x Q(y, x, z);

x y A(x, y)  y  x R(y, x);

y z U(y, z)  x y P(y, x);

y z A(y, z)  y z P(y, z) ;

y x K(y, x)  z y x Q(y, x, z);

y (x y T(y, x)  s x K(y, x));

y x z H(x, y, z)  y x G(y, x);

x y P(y, x)  y x Q(y, x);

y (x y G(y, x)  s N(y, s)) ;

y x U(y, x)  x y Q(y, x);

y x H(y, x)  x y P(y, x);