983. На числовой прямой даны два отрезка (17)

На числовой прямой даны два отрезка (17)
На числовой прямой даны два отрезка: В - [10; 15] и С - [20; 27]. Укажите
наименьшую возможную длину такого отрезка А, для которого логическое выражение
-(((x ∈ B) v (x ∈ C)) → (x e А))
ложно (т. е. принимает значение 0) при любом значении переменной х.

17