Задания для самостоятельного выполнения

1.Приведите формулу логики предикатов к приведенной нормальной форме:

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

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

x (y A(x, y) y H(z, x)) ;

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

y (x G(y, x)  z x N(y, x, z)) ;

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

t ((y K(y, t)  y z Q(y, t, z))) ;

zx A(x, z)  yz Q(y, x) ;

yx M(y, x)  yz Q(y, z) ;

t (y K(y, t) x y F(y, x, t)) ;

zy (x G(z, y)  xs N(x, s)) ;

sx U(s, x)  yx Q(y, x) ;

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

x (y A(x, y)  (zy D(y, z)) ;

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

xy T(y, x)  yx P(y, x) ;

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

t  (y U(y, t)  y x R(y, x)) ;

x ((y G (y, x)  y P(y, x)) ;

t (x y N(y, x)  y L(y, t)) ;

y (x z F(z, y, x)  x Q(y, x)) ;

x y ( t U(t, y, x))  x y R(y, x) ;

z (y A(z, y)  x y H(y, x)) ;

a y U(y, a)  t a Q (a, t)) ;

y (n A(n, y)  y n H(y, n)) ;

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

x (n C(n, x)  t y Q(y, x, t)) ;

nm y G(n, y, m)  xy B(y, x)) ;

z (y C(z, y)  y t x Q(t, y, x)) ;

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

x (y t A(x, y, t)  y z Q(y, z)) ;

ym U(y, m)  xy m K(m, x, y) ;

z (x A(x, z)  y z Q(y, z)) ;

y (m U(y, m)  mx F(y, x, m)) ;

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

x (yt U(t, y, x)  yt R(y, t)) ;

t (y z H(t, y, z)  x y G(y, x)) ;

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

yx z A(y, x, z)  xz B(z, x) ;

x (y K(y, x)  yz L(y, x, z))) ;

2. Приведите формулы логики предикатов к приведенной нормальной форме, где x, y, z – вещественные переменны, применив отрицание к формуле:

y (x (y > x)  t (y = t)) ;

x (y (y < x)  z t (z + x + y  t)) ;

x y z ((x + y > z)  (x + z > y )  (y + z > x)) ;

x y (t (y  t)  (y > x)) ;

y ( x (y  x)  z ((y = x)  (y = z))) ;

x y ((y – x > 0)  z (y - z > 0)) ;

x z ((y (z  y)  (z x )))  (x + z < 0)) ;

t x y ((y < x)  (t > x)) ;

y x ((y x)  z (y + x >z)) ;

t ( (y (y = t))  x (t > x)  (y > t)) ;

x z y ((y – x >0)  t (y – x > t)) ;

x y ( (y > x)  z (y < z)) ;

t ((x (x = t))  y (y + t > x)) ;

y z ((y > 0)  (z > y)  x (y >x)) ;

x ( (y (y = x))  z (y > z)) ;

z ( y (z > 0)  t (y < t)) ;

y  x ((y – x > 0)  z (y – z > x)) ;

x y ((y = x)  z ((z < x)  (z < y))) ;

t x ((t  x)  y (y x)  (t  x )) ;

z ( (y ((z > y)  (y > 0)))  x (y > x));

y x z ((y + x +z  0)  t ((t > y)  (t > x)  (t >z))) ;

x (z ((z² > x)  (x² > z))  ((y (y² > x)))) ;

y z ((z = y)  (y  z)) ;

y (t (y > t)  x (y > x));

y (z (z = y)  ((x (z = x)))) ;

x y z ((x + y > z)  (y + z > x) (z + x > y)) ;

t ((y ((t < 0)  (y < 0)))  (y + t > 0)) ;

z y x ((z – x > 0)  (y – x > 0)) ;

x ((y (x > y))  z (x + z > y)) ;

y (t (y  t)  x (y  x)) ;

z y ((z < 0)  (y < 0)  x (x > y + z)) ;

x z  y (((x > y)  (y > z))  (x < z)) ;

x (( y (x + y > 0))  t (t – y + x >0)) ;

y z ((y  z)  x (y  x)) ;

x y ((z (y  x))  (y  z)) ;

z x t ((x + z > t)  y ((x + t + z < y))) ;

z ( y (z > y)  x (x > z)) ;

x z ((y (y – x > 0))  t (y + z + t < 0)) ;

t y ((y  t)  z (y - z  t)) ;

x t (y (y > x)  z((y + x + t > z))) ;

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);