Вы­яс­ним, яв­ля­ет­ся F конъ­юнк­ци­ей или дизъ­юнк­ци­ей. Ка­ко­вы бы ни были ло­ги­че­ские пе­ре­мен­ные х1, х2, ... х8 и от­ри­ца­ния к ним, их конъ­юнк­ция может быть равна 1 толь­ко в одном слу­чае  — когда все они равны 1. Из таб­ли­цы ис­тин­но­сти сле­ду­ет, что функ­ция F при­ни­ма­ет зна­че­ние 1 для од­но­го на­бо­ра пе­ре­мен­ных и их от­ри­ца­ний. Таким об­ра­зом, F  — конъ­юнк­ция. Сле­до­ва­тель­но, вто­рой и тре­тий ва­ри­ан­ты от­ве­та не под­хо­дят.

Под­ста­вим пер­вый ва­ри­ант от­ве­та. В пол­сед­ней стро­ке дан­ной таб­ли­цы зна­че­ние F равно 1. Это озна­ча­ет, что все пе­ре­мен­ные из (x2→x1) ∧ ¬x3 ∧ x4 ∧ ¬x5 ∧ x6 ∧ ¬x7 ∧ x8 долж­ны быть равны 1. Сле­до­ва­тель­но, пер­вый ва­ри­ант от­ве­та не под­хо­дит.

Под­ста­вим четвёртый ва­ри­ант от­ве­та.

Про­ве­рим первую стро­ку таб­ли­цы. Конъ­юнк­ция равна нулю в том слу­чае, когда хотя бы одна из пе­ре­мен­ных (x2→x1) ∧ x3 ∧ ¬x4 ∧ x5 ∧ ¬x6 ∧ x7 ∧ ¬x8 равна 0. Такая пе­ре­мен­ная есть: ¬x6  =  0.

Про­ве­рим вто­рую стро­ку таб­ли­цы. Конъ­юнк­ция равна нулю в том слу­чае, когда хотя бы одна из пе­ре­мен­ных (x2→x1) ∧ x3 ∧ ¬x4 ∧ x5 ∧ ¬x6 ∧ x7 ∧ ¬x8 равна 0. Такая пе­ре­мен­ная есть: x2→x1  =  0.

В тре­тьей стро­ке дан­ной таб­ли­цы зна­че­ние F равно 1. Это озна­ча­ет, что все пе­ре­мен­ные из (x2→x1) ∧ x3 ∧ ¬x4 ∧ x5 ∧ ¬x6 ∧ x7 ∧ ¬x8 долж­ны быть равны 1. Так и есть.

Сле­до­ва­тель­но, четвёртый ва­ри­ант под­хо­дит.

Пра­виль­ный ответ ука­зан под но­ме­ром 4.