Логическая функция F задаётся выражением

Конъюнкция ∧ имеет более высокий приоритет, чем дизъюнкция ∨.
Для всех строк заданной таблицы истинности значение функции F = 0. Используя определение конъюнкции ∧, получаем следующие варианты:
1. ((x → w) ∨ y ∧ ¬z) = 0, ((y → ¬z) ∨ x ∧ ¬w) = 0, тогда
(x → w) = 0, y ∧ ¬z = 0, (y → ¬z) = 0, x ∧ ¬w = 0, отсюда
из (x → w) = 0 получаем x = 1, w = 0, но x ∧ ¬w = 1 ∧ ¬0 = 1 ≠ 0 – противоречие, этот вариант отбросим;
2 . ((x → w) ∨ y ∧ ¬z) = 0, ((y → ¬z) ∨ x ∧ ¬w) = 1, тогда
(x → w) = 0, y ∧ ¬z = 0, (y → ¬z) = 1 и/или x ∧ ¬w = 1, отсюда
x = 1, w = 0, y = 0, z - любое;
3