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

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

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

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

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

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

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

Ответ: 12.