nested quantifiers gate problems

join shbcf.ru