На числовой прямой даны три отрезка:
,
и
Каким может быть промежуток А чтобы формула
тождественно ложна при любых значениях переменной x. В ответ запишите наибольшую возможную целую длину промежутка А.
Решение руками
Первым шагом раскроем импликацию и отрицание:
Для наглядности изобразим известную часть на числовой прямой:
На рисунке заштрихованы области, которые дают истину в известной части. Тогда, чтобы все выражение давало ложь, необходимо, чтобы отрезок не попадал в эти области. Отсюда наибольший отрезок
. Его длина:
.
Решение программой
def inn(x, a):
if a[0] <= x <= a[1]:
return True
return False
p = [5, 25]
q = [15, 35]
k = [25, 40]
maxim = 0
for i in range(100):
for j in range(i + 1, 100):
a = [i, j]
flag = True
for x in range(100):
if ((inn(x, q) <= (not inn(x, k))) and inn(x, a) and (not inn(x, p))) == 1:
flag = False
if flag:
maxim = max(maxim, j - i)
print(maxim)