Сколько существует различных наборов значений логических переменных x1 ,y1,, которые удовлетворяют перечисленным ниже условиям? (¬(x1 ˅ y1) ≡ (x2 ˅ y2) (¬(x2 ˅ y2)≡ (x3 ˅ y3) (¬(x5 ˅ y5)≡ (x6 ˅ y6)

Обозначим . Тогда система превращается в такую:


Пусть . Тогда . Учитывая, что уравнение  имеет 1 решение , а  - 3 решения, а также вспоминая, что все переменные независимы, получаем по правилу умножения, что в этом случае будет  решений.

Если , всё будет так же с точностью до замены 1 на 0 и наоборот, в этому случае будет тоже 27 решений.

Всего возможных наборов 27 + 27 = 54.