Реши задание на изображении

Краткий ответ: второй вариант

\[ F=\neg x_1\land x_2\land\neg x_3\land x_4\land\neg x_5\land x_6\land x_7. \]

Проверка

Для конъюнкции \(F=1\) только тогда, когда все множители равны 1.

• 1-я строка: \(x_1=0,\ x_3=0,\ x_5=0,\ x_7=1,\ F=1\).
  В выбранной формуле литералы \(\neg x_1,\neg x_3,\neg x_5,x_7\) равны 1; противоречия нет.
• 2-я строка: \(x_2=1,\ x_3=1,\ F=0\).
  Так как \(\neg x_3=0\), вся конъюнкция равна 0.
• 3-я строка: \(x_1=1,\ x_4=1,\ x_5=1,\ F=0\).
  Так как \(\neg x_1=0\), вся конъюнкция равна 0.

Другие варианты не подходят: первый противоречит первой строке, третий — второй, четвёртый — третьей.