Найти формулы ПНФ и ССФ, выполнить унификацию атомов дизъюнктов.
|
| Формула
|
|
| "x(A(x)®ù B(y))®$y(B(y)®ù A(x))
|
|
| "x(ù A(x)®$y(ù C(y)))®"x((D(x)®A(x))
|
|
| "x(A(x)®$z(B(z)))®$y(ù A(x)Úù C(y)ÚC(y) ÙB(x))
|
|
| "x(A(x)®$y(B(y)))®$x(ù A(x)®ù B(y))
|
|
| "x(A(x)®B(y)) Ù"y(A(x)®(B(y)®C(z))®$z(A(x)®C(z))
|
|
| "x(A(x)®$y(B(y)®C(z)))®"z(A(x) ÙB(y)®C(z))
|
|
| "x(A(x)®B(z)) Ù"y(C(y)®A(x))®$z(C(y)®B(z))
|
|
| "x(A(x)®B(y))®"y((C(y)ÚA(x))®(C(y)Ú$y(B(y)))
|
|
| "x(B(x))®$y(A(y)®B(x))
|
|
| "x(A(x)®B(x))®("y(C(y)®A(x))®$z(C(z)®B(x)))
|
|
| "x(A(x)®B(x))®"y((C(y)®A(x))®(C(y)®B(x)))
|
|
| "x(A(x)®ù B(y))®$y(B(y)®ù A(x))
|
|
| $x(A(x)®B(z))®$y((C(y)ÚA(x))®"z(C(y)ÚB(z)))
|
|
| "x(A(x)®B(y)) Ù"z(C(z)®A(x))®$y(C(z)®B(y))
|
|
| ("x(ù A(x)®$y(ù C(y)))®(C(x)®A(x))
|
|
| "x(A(x)®B(x)) Ù$y(B(x)®C(y)) Ù$z(C(y)®D(z)))
|
|
| "x(ù A(x)®$y(ù B(y)))®(B(x)®A(x))
|
|
| "x(ù A(x)®$x(B(x)))®(B(x)ÚA(x))
|
|
| ("x(ù A(x)®$y(B(y))))®(ù B(x)®A(x))
|
|
| "x(A(x)®B(y)) Ù"y(A(x)®(B(y)®C(z)))®$z(A(x)®C(z))
|
|
| "x(A(x)®$z(B(y)®C(z)))®"y(B(y)®(A(x)®C(z)))
|
|
| ("x(A(x))®$x(B(x)))®"z((B(x)®C(z))®(A(x)®C(z)))
|
|
| ($x(ù A(x))®"x(ù B(x)))®(ù B(x)ÚA(x))
|
|
| ("x(A(x)))®("x(B(x)))®$y(C(y) ÙA(x)®C(y) ÙB(x))
|
|
| "x(ù A(x)®$y(B(y)))®(ù B(y)®A(x))
|
|
| ("x(B(x))®$x(A(x))) Ù$y((A(x)®C(y))®(ù C(y) ÙB(x)))
|
|
| "x(ù A(x)®$y(B(y)))®(B(y)ÚA(x))
|
|
| "x(ù A(x)®$y(ù B(y)))®(B(y)®A(x))
|
|
| "x(A(x)®B(x)) Ù$y(B(x)®C(y) Ù$z(C(y)®D(z)))
|
|
| ("x(A(x)®B(x)) Ù"z(C(z)®A(x)))®$y(C(z)®B(y))
|
