Информатика ЕГЭ 2 задание

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

¬(y →w)∨(x ≡z)∨¬x¬(y →w)∨(x ≡z)∨¬x.

На рисунке приведён фрагмент таблицы истинности функции F, содержащий все наборы аргументов, при которых функция F ложна. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных w,x,y,zw,x,y,z.
Вопрос в следующем, раз везде "Или" то везде должен получаться ноль, я нашел решение и с помощью кода собрал таблицу истинности, но вот вопрос, почему в действие с импликацией, чтобы казалось бы получилось ноль "y" в любом случае должен быть 0 (так как при инверсии он будет обращен в 1), а "w" должна быть 1 (тоже чтобы при инверсии получить 0), код мне показывает варианты где "y" и "w" могут принимать разные значения, да и уже готовая таблица не подразумевает, что эти переменные должны быть чисто 1 или 0