Разбор 15 задания ЕГЭ по информатике теоретическое реш-е (Крылов) эквиваленция

Смотрите на сайте разбор других заданий по теме: Объяснение 15 задания ЕГЭ по информатике 2018 (Крылов С.С., Чуркина Т.Е., "Типовые экзаменационные варианты 2018" вариант 6): решение варианта с объяснением (до 2021 было задание 18). На числовой прямой даны два отрезка: P = [3, 20] и Q = [6, 12]. Укажите наибольшую возможную длину отрезка A, для которого формула ((x ∈ P) ~ (x ∈ Q)) → ¬(x ∈ A) тождественно истинна, то есть принимает значение 1 при любом значении переменной x.