Разбор 18 задания ЕГЭ по информатике 2018 (Крылов Типовые экзаменационные варианты, в6) эквиваленция

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