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

Другие предметы Университет Логика предикатов интеллектуальные информационные системы ИИС Сколемовская стандартная форма формула исчисления предикатов преобразование формулы логика университетские курсы математическая логика предикаты теоретическая информатика Новый