Логическая функция F задаётся выражением ¬w ∧ (y ∨ z → ¬x ∧ y)

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