Ответ:

Упростим выражение по законам логики: \(F=\neg A\land(A\lor\neg B)=(\neg A\land A)\lor(\neg A\land\neg B)=\neg A\land\neg B\).

Вычислим значения выражения для всех наборов переменных:

AB¬A¬BA ∨ ¬BF
001111
011000
100110
110010

Ответ: таблица истинности составлена.