№160654389

Сколько существует целых неотрицательных значений числа A, при которых формула

((y² > A) ∧ (¬(x ≤ A) ∨ (x ≤ 25))) ∨ (((x ≤ 25) → (y > 23)) → ((x ≤ A) → (x² < A)))

тождественно истинна, то есть принимает значение 1 при любых целых неотрицательных x и y?