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