nested quantifiers gate problems

visit shbcf.ru