Логические операции с неравенствами

первое неравенство по факту означает, что и X и Y принадлежат множеству чисел {-1, 0, 1}, так как модуль разницы квадратов с любым другим целым числом будет больше 2. второе неравенство утверждает то же самое о паре чисел Z и Y. Отсюда следует и третье неравенство.