Вопрос по информатике:

ЕГЭ Информатика Задание №18
На числовой прямой даны два отрезка: Р = [3, 38] и Q = [21, 57]. Выберите из предложенных отрезков такой отрезок А, что логическое выражение

¬(х ∈ A) → ((х ∈ Р) → ¬(х ∈ Q))

тождественно истинно, то есть принимает значение 1 при любом значении переменной х.

1) [6,20]
2) [22,35]
3) [40,60]
4) [20,40]
Кто-то может объяснить подробно? Как решать? Строю отрезок, преобразую данные, но почему нужно выбрать тот или иной ответ я не понимаю, как его выбирать по отрезку?