Ре­ше­ние. Решим за­да­ние ме­то­дом отоб­ра­же­ний (Про­чи­тать про метод отоб­ра­же­ний). Сна­ча­ла рас­смот­рим пары x₁y₁ и x₂y₂.

Для пер­вой стро­ки x₁y₁ ис­ти­на воз­мож­на тогда и толь­ко тогда, когда пара x₂y₂ будет при­ни­мать зна­че­ние 11.

Для вто­рой стро­ки x₁y₁ ис­ти­на воз­мож­на тогда и толь­ко тогда, когда пара x₂y₂ будет при­ни­мать зна­че­ние 11.

Для тре­тей стро­ки x₁y₁ ис­ти­на воз­мож­на тогда и толь­ко тогда, когда пара x₂y₂ будет при­ни­мать зна­че­ние 11.

Для четвёртой стро­ки x₁y₁ ис­ти­на воз­мож­на тогда и толь­ко тогда, когда пара x₂y₂ будет при­ни­мать зна­че­ния 00, 01 и 10.

При­ме­ним это для осталь­ных пар:

Таким об­ра­зом, ко­ли­че­ство ре­ше­ний будет равно

Ответ: 162.

----------

Дуб­ли­ру­ет за­да­ние 18092.