Задача #345

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

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