</tex>.
НапримерРассмотрим теперь <tex>A = \bigcup \limits _{k=1}^n A_k</tex>. Заметим, гиперкубу что так как все вершины гиперкубов <tex>A_i</tex> лежат в точках с целочисленными координатами 0,1 или 2, то и <tex>A</tex> можно разбить на гиперкубы вида <tex>B_{x_1,...,x_d} = [x_1,x_1 + 1]\times ... \times [x_d, x_d + 1]</tex>, где <tex>x_i \in \{0,1\}, i \in [d]</tex> (то есть на гиперкубики со сторонами 1 с координатами ближайшей к началу координат вершины 0 или 1).
<tex>C_1 = \{x\}</tex> будет соответствовать конъюнкт <tex>\neg x_1</tex> а <tex>C_2 = \{1Более того,2\}из-за целочисленности вершин </tex> конъюнкт <tex>\neg x_1 \wedge \neg x_2A_i</tex>. Запишем объединение гиперкубов <tex>A_k</tex> как объединение гиперкубов вида <tex>B_{x_1,...,x_d} = [x_1,x_1 + 1]\times ... \times [x_d, x_d + 1]</tex>, где <tex>x_i \in \{0,1\}, i \in [d]</tex>. Более того,
<tex> B_{x_1,...,x_d} \subset \bigcup \limits _{k = 1}^n A_k \iff B_{x_1,...,x_d} \subset A_k \iff \exists a^k_i \geq x_i + 1 : i \in d \iff</tex>
