Задание

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

? ? ? ? F      0   1      0 0 1 0   0 0 1

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