Законы математической логики

(А. Рогов) На числовой прямой даны три отрезка: D = [15; 40], C = [21; 63] и А = [7; E]. Укажите наименьшее возможное целое значение E такое, что формула

(x ∈ D) → ((¬(x ∈ C) ∧ ¬(x ∈ A)) → ¬(x ∈ D))

истинна (то есть принимает значение 1 при любом значении переменной х).