элиминация кванторов

Мат. elimination of quantifiers