На числовой прямой даны два отрезка: D = [133; 177] и B = [144; 190]. Укажите наименьшую возможную длину такого отрезка A, что формула
\((x \in D) \rightarrow ((\lnot(x \in B) \land \lnot(x \in A)) \rightarrow \lnot(x \in D))\)
тождественно истинна, то есть принимает значение 1 при любом значении переменной x.