Для какого наибольшего целого значения А выражение ((x<=8)→ (x2<=A)) ∧ ((y2<=A) → (y<=8)) тожественно истинно, т.е. принимает значение 1 при любых неотрицательных x и y.