Формула<br />∀y (A(a) & C(a) & (S(a, y) ∨ A(y)))<br />представлена в Сколемовской стандартной форме (ССФ).<br />Затем было построено множество дизъюнктов S.<br />Выберите правильный вариант множества S S={ A(a) & C(a) & (S(a, y) ∨ A(y)) }, S={ A(a) & C(a) , S(a, y) ∨ A(y) }, S={ A(a), C(a) , S(a, y) ∨ A(y)}, S={ A(a), C(a), S(a, y), A(y) }