На числовой прямой даны отрезки A = [30; 62], B = [25; 38] и C = [40; N] и функция
\( F(x) = (\lnot (x \in B) \rightarrow \lnot (x \in A) ) \land (\lnot (x \in C) \rightarrow (x \in B) )\)
При каком наименьшем числе N функция F(x) истинна более чем для 20 целых чисел x?