Формула Vy (A(a) & C(a) & (S(a, y) v A(y))) - Ответ на вопрос по ИИС №173064

Вопрос

Формула
Vy (A(a) & C(a) & (S(a, y) v A(y)))
представлена в Сколемовской стандартной форме (ССФ).
Затем было построено множество дизъюнктов S.

Выберите правильный вариант множества S

• S=[ A(a) & C(a), S(a, y) v A(y) }
• S=[A(a) & C(a) & (S(a, y) v A(y)) ]
• S=[ A(a), C(a), S(a, y), A(y) ]
• S=[ A(a), C(a), S(a, y) V A(y)}

Ответ