Для какого наименьшего целого неотрицательного числа А выражение
(220 ≠ y + 2x + 4z) ∨ ((A >= x) ∧ (A >= y) ∧ (A >= 11z))
истинно при любых целых неотрицательных x, y, z?
