Задача #590

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

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