Отрезки

На числовой прямой даны два отрезка: P=[12;62] и Q=[52;92]Q. Рассмотрим отрезок A=[10;X]. Найдите наименьшее значение X, при котором логическое выражение

¬((x∉A)∧(x∈P))∨(x∈Q)

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