Let $\mathcal{P}(\{0,\cdots,7\})$$\mathcal{P}(\{0,\dotsc,7\})$ denote all subsetsthe power set of $\{0,\cdots,7\}$$\{0,\dotsc,7\}$.
Is the following true?
For any function $f: \mathcal{P}(\{0,\cdots,7\})\rightarrow\{0,1\}$,$f: \mathcal{P}(\{0,\dotsc,7\})\rightarrow\{0,1\}$ there exists $0\leq k\leq 3$, and three mutually disjoint sets $A,B,C\subseteq \{0,\cdots,7\}$$A,B,C\subseteq \{0,\dotsc,7\}$ such that $\min A = 2k, \min B = 2k+1,$ and $$f(C) = f(A\cup C) = f(B\cup C) = f(A\cup B\cup C)?$$