На числовой прямой даны два отрезка: В=[54;120] и С=[78;151]. Укажите наименьшую возможную длину такого отрезка A, для которого логическое выражение
(x∈С)→(((x∈B)∧¬(x∈A))→¬(x∈C))
тождественно истинно (т.е. принимает значение 1) при любом значении переменной x.
Решение:
Решение на Python:
otvet = []
for x in range(-500, 500):
B = 54 <= x <= 120
C = 78 <= x <= 151
A = False
F= C <= ((B and (not(A))) <= (not(C)))
if F == 0:
otvet.append(x)
print(otvet[-1] - otvet[0])Ответ: 42
Ответ:
42