Формулу исчисления предикатов<br />∃x∀y(A(x)&C(x)&(S(x, y)∨A(y)))<br />необходимо привести к Сколемовской стандартной форме. Какой вариант преобразования будет правильным? A(a)&C(a)&(S(a, b)∨A(b)), ∀x(A(x)&C(x)&(S(x, b)∨A(b))), ∀y(A(a)& C(a)&(S(a, y)∨A(y))), ∀y∃x(A(x)&C(x)&(S(x, y)∨A(y))), ∃x(A(x)&C(x)&(S(x, a)∨A(a)))