Задача с сайта https://kpolyakov.spb.ru/
На числовой прямой даны два отрезка: P = [3, 15] и Q = [14, 25]. Укажите наибольшую возможную длину такого отрезка А, что формула
тождественно истинна, то есть принимает значение 1 при любом значении переменной x.
Раскроем импликацию по формуле:
Тогда выражение принимает вид:
Находим x, при которых формула даёт ложь:
Это выражение будет истинно в двух случаях: когда обе части дают ложь, либо когда обе части дают истину.

Нарисуем числовую прямую, изобразим на ней отрезки P и Q и отметим область, в которой наше выражение ложно.

Получаем два варианта отрезка A:
или
По условию задачи требуется найти наибольшую возможную длину отрезка А, поэтому выбираем первый отрезок и его длина: .
