Логическая функция F задаётся выражением:
F = ((w ≡ ¬x) → ¬(z → w)) ∨ ¬y
Дан частично заполненный фрагмент таблицы истинности. Полные строки не повторяются. Каждый из четырёх первых столбцов соответствует одной из переменных x, y, z, w; каждая переменная используется ровно один раз. Столбец F подписан.
| Столбец 1 | Столбец 2 | Столбец 3 | Столбец 4 | F |
|---|
| — | — | 1 | 1 | 0 |
| 0 | — | 1 | 0 | 0 |
| 0 | 0 | — | — | 0 |
Знак «—» обозначает неизвестное значение, а не ноль. Определи переменные в порядке столбцов слева направо. В ответе запиши строчные латинские буквы подряд, без пробелов и других разделителей.