Досрочный этап 2022 — задание 2

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

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

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