Классика Жанра Метод Отображений versus Иформатик БУ битовые маски - простота и доступность для ребят без ученых степеней

 Сколько существует различных наборов значений логических переменных
x1, x2, ... x8, y1, y2, ... y8, которые удовлетворяют всем перечисленным ниже условиям?


(x1 ∨ x2) ∧ (x1 ∧ x2 → x3) ∧ (¬x1 ∨ y1) = 1
(x2 ∨ x3) ∧ (x2 ∧ x3 → x4) ∧ (¬x2 ∨ y2) = 1
...
(x6 ∨ x7) ∧ (x6 ∧ x7 → x8) ∧ (¬x6 ∨ y6) = 1
(x7 ∨ x8) ∧ (¬x7 ∨ y7) = 1
¬x8 ∨ y8 = 1



   Видео от Информатика БУ ( понятно для самого ленивого и никогда
   не слышавшего о системах логических уравнений )

  https://www.youtube.com/watch?v=MDL5Mym5Aac

  Ортодоксальный подход  Е. Мирончик - Метод отображений
  Источник сайт К. Полякова.
  Великолепно, слов нет. Но есть вопрос для какой категории лиц ?