Задание 15

Знание основных понятий и законов математической логики · 27 заданий

Задание №15
№15Среднее
Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наибольшего натурального числа А ло…
Алгебра логики
Задание №15
№15Среднее
Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наименьшего натурального числа А фо…
Алгебра логики
Задание №15
№15Среднее
На числовой прямой даны два отрезка: D = [17; 58] и C = [29; 80]. Укажите наименьшую возможную длину такого отрезка A, для которого логическое выражен…
Алгебра логики
Задание №15
№15Лёгкое
Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наибольшего натурального числа А фо…
Алгебра логики
Задание №15
№15Лёгкое
Для какого наибольшего целого неотрицательного числа А выражение (x < A) (y < A) (x · y > 1200) тождественио ложно, т. е. принимает значение 0 при люб…
Алгебра логики
Задание №15
№15Лёгкое
Для какого наибольшего целого неотрицательного числа А выражение (x < A) (y < A) (x · y > 601) тождественио ложно, т. е. принимает значение 0 при любы…
Алгебра логики
Задание №15
№15Среднее
Для какого наибольшего целого неотрицательного числа А выражение (x ⩾ А) (у ⩾ А) (x · y ⩽ 270) тождественно истинно, т. е. принимает значение 1 при лю…
Алгебра логики
Задание №15
№15Сложное
Обозначим через ТРЕУГ(n, m, k) утверждение «существует невырожденный треугольник с длинами сторон n, m и k». Для какого наибольшего натурального числа…
Алгебра логики
Задание №15
№15Среднее
Для какого наибольшего целого неотрицательного числа А выражение (x ⩾ A) (y ⩾ A) (x · y ⩽ 200) тождественно истинно, т. е. принимает значение 1 при лю…
Алгебра логики
Задание №15
№15Сложное
Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наибольшего натурального числа А фо…
Алгебра логики
Задание №15
№15Лёгкое
На числовой прямой даны два отрезка: В = [4; 18] и С = [12; 40]. Укажите наименьшую возможную длину такого отрезка А, для которого логическое выражени…
Алгебра логики
Задание №15
№15Среднее
На числовой прямой даны два отрезка: В = [14; 20] и С = [15; 27]. Укажите наименьшую возможную длину такого отрезка А, для которого логическое выражен…
Алгебра логики

Задание №15 — Сложное логическое выражение

Для какого наименьшего целого неотрицательного числа A выражение
$( x + 2 y < A ) \lor ( y > x ) \lor ( x > 60 )$
тождественно истинно, т. е. принимает значение 1 при любых целых неотрицательных x и y?

Правильный ответ

181

Пояснение

Решение:

Дизъюнкция ложна только тогда, когда ложны все три её слагаемых. Значит, выражение тождественно истинно ровно тогда, когда не найдётся пары целых неотрицательных $x$ и $y$ , для которой одновременно $y \le x$ , $x \le 60$ и $x + 2y \ge A$ .

Иначе говоря, на всём «опасном» множестве $0 \le y \le x \le 60$ обязано выполняться неравенство $x + 2y \lt A$ . Осталось найти наибольшее значение суммы $x + 2y$ на этом множестве. Чем больше $x$ , тем больше и допустимое $y$ , поэтому максимум достигается в самой «дальней» точке $x = y = 60$ и равен $60 + 2 \cdot 60 = 180$ .

Значит, нужно $A \gt 180$ , и наименьшее целое такое число — $A = 181$ . Проверим: при $A = 181$ в любой точке проверочного множества $x + 2y \le 180 \lt 181$ , то есть истинно первое слагаемое; вне этого множества истинно второе ( $y \gt x$ ) или третье ( $x \gt 60$ ) слагаемое. При $A = 180$ выражение ломается на паре $x = y = 60$ : там все три скобки ложны.

best = max(x + 2 * y
           for x in range(0, 61)
           for y in range(0, x + 1))
print(best + 1)   # 181

Ответ: 181