Задание #T781

Задание

Миша заполнял таблицу истинности функции (¬x¬y)(yz)¬w,\left(\lnot x \wedge \lnot y \right) \vee \left(y \equiv z \right) \vee \lnot w, но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных ww, xx, yy, zz.
(¬x¬y)(yz)¬w\left(\lnot x \wedge \lnot y \right) \vee \left(y \equiv z \right) \vee \lnot w
00001100
001100
00111100
Определите, какому столбцу таблицы соответствует каждая из переменных ww, xx, yy, zz.
В ответе напишите буквы ww, xx, yy, zz в том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу; затем буква, соответствующая второму столбцу, и т.д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.
Пример. Пусть функция была задана выражением ¬xy\lnot x \vee y, зависящим от двух переменных, а фрагмент таблицы имел вид:
¬xy\lnot x \vee y
001100
Тогда первому столбцу соответствовала переменная yy, а второму столбцу – переменная xx. В ответе следовало бы написать yxyx.