Ответ:

Проверим выражение F = не A или B, то есть \(F = \neg A \lor B\).

ABне AF = не A или B
0011
0111
1000
1101

Полученный столбец F: 1, 1, 0, 1, что полностью совпадает с таблицей истинности.

Ответ: F = не A или B.