Ре­ше­ние. 1.  За­ме­тим, что во всех трех стро­ках X эк­ви­ва­лент­но Z. Это зна­чит, что X≡Z=1, ¬X≡Z=0, X≡¬Z=0.По­это­му ва­ри­ан­ты 2 и 3 сразу стоит ис­клю­чить, ведь конъ­юнк­ция лю­бо­го ар­гу­мен­та с 0 даст 0.

2.  Рас­смот­рим вы­ра­же­ние из ва­ри­ан­та 1. Нас ин­те­ре­су­ют зна­че­ния для вы­ра­же­ния (¬X→Y). В стро­ке 1 это вы­ра­же­ние – ис­тин­но, а зна­чит, ис­тин­но и все вы­ра­же­ние из ва­ри­ан­та 1, сле­до­ва­тель­но, (т. к. в пер­вой стро­ке F=0), ва­ри­ант 1 не яв­ля­ет­ся ре­ше­ни­ем дан­ной за­да­чи.

3.  Ме­то­дом ис­клю­че­ния, вер­ным оста­ет­ся толь­ко ва­ри­ант 4. И дей­стви­тель­но, зна­че­ния F и зна­че­ния функ­ции в ва­ри­ан­те 4 схо­дят­ся по всем трем стро­кам, ва­ри­ант 4 яв­ля­ет­ся от­ве­том к дан­ной за­да­че .