23 на числовой прямой даны два отрезка: p = [2, 30] и q = [18, 46]. укажите наибольшую возможную длину такого отрезка a, что логическое выражение ((x ∈ p) → (x ∈ q)) → ¬(x ∈ a) тождественно истинно, то есть принимает значение 1 при любом значении переменной x.

Решение на фотографии
Для удобства представим множества в виде переменных (Р, Q, A), преобразуем выражение по формулкам. Все выражение у нас всегда должно быть истинно, следовательно там, где ложно пересечение P(ложного) и Q, должно быть истинно ложное А. Постаралась максимально на схеме изобразить