negating the nested quantifiers

visit shbcf.ru