Ответ:

Подставим значения переменных: \(1 \lor \neg(1 \mathbin{\&} 0) \lor \neg 0\).

В скобках \(1 \mathbin{\&} 0 = 0\), поэтому \(\neg 0 = 1\). Также \(\neg x3 = \neg 0 = 1\). Получаем \(1 \lor 1 \lor 1 = 1\).

Ответ: 1.