Построим древо решений для первого уравнения.

Первое уравнение имеет 12 решений. Второе уравнение связано с первым только через переменные x₃ и x₄. На основании древа решений для первого уравнения выпишем пары значений переменных x₃ и x₄, которые удовлетворяют первому уравнению и укажем количество таких пар значений.

Поскольку уравнения идентичны с точностью до индексов переменных, древо решений второго уравнения аналогично первому. Следовательно, пара значений x₃ = 1 и x₄ = 1 порождает два набора переменных x₃, ..., x₆, удовлетворяющих второму уравнению. Поскольку среди наборов решений первого уравнения данных пар четыре, всего получаем 4 · 2 = 8 наборов переменных x₁, ..., x₆, удовлетворяющих системе из двух уравнений. Рассуждая аналогично для пары значений x₃ = 0 и x₄ = 0, получаем 8 наборов переменных x₁, ..., x₆. Пара x₃ = 1 и x₄ = 0 порождает четыре решения второго уравнения. Поскольку среди наборов решений первого уравнения данных пар две, получаем 2 · 4 = 8 наборов переменных x₁, ..., x₆, удовлетворяющих системе из двух уравнений. Аналогично для x₃ = 0 и x₄ = 1 — 8 наборов решений. Всего система из двух уравнений имеет 8 + 8 + 8 + 8 = 32 решения.

Проведя аналогичные рассуждения для системы из трёх уравнений, получаем 80 наборов переменных x₁, ..., x₈, удовлетворяющих системе. для системы из четырёх уравнений существует 192 набора переменных x₁, ..., x₁₀, удовлетворяющих системе.