quantifier-free formula

Мат. бескванторная формула