Тип 2 № 20548

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

$$\begin{array}{|c|c|c|c|c|} \hline & & & & F \\ \hline 0 & 1 & & & 0 \\ \hline & 0 & & & 0 \\ \hline 1 & & 0 & & 0 \\ \hline \end{array}$$

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

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

Пример. Функция $F$ задана выражением $\neg x\vee y$, зависящим от двух переменных, а фрагмент таблицы имеет следующий вид:

$$\begin{array}{|c|c|c|} \hline & & F \\ \hline 0 & 1 & 0 \\ \hline \end{array}$$

В этом случае первому столбцу соответствует переменная $y$, а второму столбцу — переменная $x$. В ответе следует написать: $yx$.