(К. Иглин) Для какого наименьшего целого положительного числа А выражение
(x < A) ∧ (y < 3A) ∨ (2x + y > 129)
истинно (т. е. принимает значение 1) при любых целых положительных x и y?
Решение
Шаг 1. Перебор A от меньшего к большему
for A in range(1, 300):
Ищем наименьшее A, при котором формула истинна для всех пар (x, y).
Шаг 2. Подсчёт истинных наборов (x, y)
cnt = 0
for x in range(1, 201):
for y in range(1, 201):
if (((x < A) and (y < 3 * A)) or (2 * x + y > 129)):
cnt += 1
Для каждого A перебираем все пары x от 1 до 200 и y от 1 до 200 и считаем, при скольких парах формула истинна.
Условие из задачи: ((x < A) and (y < 3 * A)) or (2 * x + y > 129).
Шаг 3. Проверка полного покрытия и ответ
if cnt == 40000:
print(A)
break
Если истинно ровно для всех 40000 пар — выводим A и останавливаемся. Ответ: 65.
Решение
Шаг 1. Перебор A от меньшего к большему
for A in range(1, 300):
Ищем наименьшее A, при котором формула истинна для всех пар (x, y).
Шаг 2. Подсчёт истинных наборов (x, y)
cnt = 0
for x in range(1, 201):
for y in range(1, 201):
if (((x < A) and (y < 3 * A)) or (2 * x + y > 129)):
cnt += 1
Для каждого A перебираем все пары x от 1 до 200 и y от 1 до 200 и считаем, при скольких парах формула истинна.
Условие из задачи: ((x < A) and (y < 3 * A)) or (2 * x + y > 129).
Шаг 3. Проверка полного покрытия и ответ
if cnt == 40000:
print(A)
break
Если истинно ровно для всех 40000 пар — выводим A и останавливаемся. Ответ: 65.
Решение
Шаг 1. Перебор A от меньшего к большему
for A in range(1, 300):
Ищем наименьшее A, при котором формула истинна для всех пар (x, y).
Шаг 2. Подсчёт истинных наборов (x, y)
cnt = 0
for x in range(1, 201):
for y in range(1, 201):
if (((x < A) and (y < 3 * A)) or (2 * x + y > 129)):
cnt += 1
Для каждого A перебираем все пары x от 1 до 200 и y от 1 до 200 и считаем, при скольких парах формула истинна.
Условие из задачи: ((x < A) and (y < 3 * A)) or (2 * x + y > 129).
Шаг 3. Проверка полного покрытия и ответ
if cnt == 40000:
print(A)
break
Если истинно ровно для всех 40000 пар — выводим A и останавливаемся. Ответ: 65.