Логическая функция F задаётся выражением ¬ x ∧ y ∧ z ∨ x ∧ ¬ y ∧ ¬ w. На рисунке Вася заполнял таблицу истинности функции