На числовой прямой даны два отрезка: P = [17, 40] и Q = [20, 57]. Отрезок A таков, что приведённая ниже формула истинна при любом значении переменной х: ¬(x ∈ A) →(((x ∈ P) ⋀ (x ∈ Q)) → (x ∈ A)) Какова наименьшая возможная длина отрезка A?

На числовой прямой даны два отрезка: P  =  [17, 40] и Q  =  [20, 57]. Отрезок A таков, что приведённая ниже формула истинна при любом значении переменной х: ¬(x ∈ A) →(((x ∈ P) ⋀ (x ∈ Q)) → (x ∈ A)) Какова наименьшая возможная длина отрезка A?