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