Задача #4573

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

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