Сна­ча­ла вы­яс­ним, яв­ля­ет­ся F конъ­юнк­ци­ей или дизъ­юнк­ци­ей.

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

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

Про­ве­рим вто­рую стро­ку таб­ли­цы. Дизъ­юнк­ция равна еди­ни­це в том слу­чае, когда хотя бы одна из пе­ре­мен­ных ¬x1 ∨ ¬x2 ∨ x3 ∨ ¬x4 ∨ ¬x5 ∨ ¬x6 ∨ ¬x7 ∨ ¬x8 равна 1. И такая пе­ре­мен­ная есть: x3  =  1.

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

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

Сле­до­ва­тель­но, от­ве­том яв­ля­ет­ся вто­рой ва­ри­ант.