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

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

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

Для тре­тьей стро­ки x₁y₁ ложь не­воз­мож­на.

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

По­стро­им таб­ли­цу для вы­чис­ле­ния ко­ли­че­ства ре­ше­ний:

Из по­след­не­го урав­не­ние за­клю­чим, что тре­тью стро­ку таб­ли­цы учи­ты­вать не надо, по­сколь­ку когда x₆y₆ при­ни­ма­ют зна­че­ния 10, урав­не­ние x₆ ∧ ¬y₆ будет ис­тин­ным. Таким об­ра­зом, ко­ли­че­ство ре­ше­ний будет равно

Ответ: 34.