Построение таблиц истинности логических выражений — задача ЕГЭ по информатике

Логическая функция F задаётся выражением $(x \equiv (y \rightarrow z)) \wedge (\neg w \rightarrow (x \equiv y))$. На рисунке приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных $x$, $y$, $z$, $w$.

В ответе напишите буквы $x$, $y$, $z$, $w$ в том порядке, в котором идут соответствующие им столбцы (сначала — буква, соответствующая первому столбцу; затем — буква, соответствующая второму столбцу, и т.д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.

Пример. Пусть задано выражение $x \rightarrow y$, зависящее от двух переменных $x$ и $y$, и фрагмент таблицы истинности:

Тогда первому столбцу соответствует переменная $y$, а второму столбцу соответствует переменная $x$. В ответе нужно написать: $yx$.