Апробация 17.05 — задание 2

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

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

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