Для какого наименьшего целого неотрицательного числа А выражение ((x <= 5) → (x* x <= А)) ˄ (y* y<= А) → (y <= 10 )) тождественно истина то есть принимает значение 1 при любых целых неотрицательных x и y?

Раскрывая импликацию по правилу A B = A + B, заменяя логическую сумму совокупностью, а логическое произведение системой соотношений, определим значения параметра А, при котором система совокупностей

будет иметь решениями для любых целых неотрицательных чисел.

Заметим, что переменные не связаны между собой уравнением или неравенством, поэтому необходимо и достаточно, чтобы решениями первой совокупно...