Задание №15 — Сложное логическое выражение

К списку заданий
#69544Задание №15ФИПИ
Алгебра логики

На числовой прямой даны два отрезка: В=[30;41]В = [ 30 ; 41 \left]\right. и С=[50;56].С = [ 50 ; 56 \left]\right. . Укажите наименьшую возможную длину такого отрезка А, для которого логическое выражение
¬(((xВ)(xС))(xА))\neg ( ( ( x \in В ) \lor ( x \in С ) ) \rightarrow ( x \in А ) )
ложно (т. е. принимает значение 0) при любом значении переменной х.