Для какого наименьшего целого числа A формула ((x * x ≤ A) → (x ≤ 7)) & ((y < 4) → (y * y ≤ A)) тождественно истинна, то есть принимает значение 1 при любых целых неотрицательных x и y?
_________________________________________________
Выражение из условия является конъюнкцией, то есть из нескольких выражений, соединённых "логическим и". Чтобы оно было тождественно истинным, они должны быть истинны.
(x * x ≤ A) → (x ≤ 7) ложно, если x * x ≤ A истинно, а x ≤ 7 ложно. Нам не подойдут все A, при которых система { x * x ≤ A, x > 7 } имеет хотя бы одно целое неотрицательное решение, то есть A не может быть больше 63.
(y < 4) → (y * y ≤ A) ложно, если найдутся решения системы { y < 4, y * y > A }. Такого не произойдёт, если A ≥ 9.
Соединяем условия на A вместе и получаем, что наименьшее подходящее A равно 9.