Видео Евгения Джобса. • Метод последовательног... Примеры решения систем с помощью метода последовательного исключения с помощью формулы включений-исключений.
Для начала нашли, что есть 1536 наборов, в которых одно уравнение точно будет истинным. Из них вычитаем 192 набора, в которых два уравнения точно будут истинными (на прошлом шаге мы посчитали их дважды). Потом прибавляем 8 наборов, в которых три уравнения точно будут истинными (на прошлом шаге мы вычли их дважды). По сути, это как формула включений-исключений из 17 задания.