Для какого наибольшего целого неотрицательного числа А выражение
(x · y < 100) ∨ (y ≥ A) ∨ (x > A)
тождественно истинно, то есть принимает значение 1 при любых целых неотрицательных x и y?
Решение.
Решим задачу графически. Условие (x · y < 100) задаёт множество, отмеченное на рисунке закрашенной областью. Чтобы исходное выражение было тождественно истинно для любых целых и неотрицательных x и y, прямые и должны проходить через точку (10; 10). Таким образом, наибольшее целое неотрицательное А, удовлетворяющее условию задачи, — это A, равное 10.
Для какого наибольшего целого неотрицательного числа А выражение
(x · y < 121) ∨ (y > A) ∨ (x ≥ A)
тождественно истинно, то есть принимает значение 1 при любых целых неотрицательных x и y?
Решение.
Решим задачу графически. Условие (x · y < 121) задаёт множество, отмеченное на рисунке закрашенной областью. Чтобы исходное выражение было тождественно истинно для любых целых и неотрицательных x и y, прямые и должны проходить через точку (11; 11). Таким образом, наибольшее целое неотрицательное А, удовлетворяющее условию задачи, — это A, равное 11.