Задание

Логическая функция F задаётся выражением x /\ ¬y /\ ((¬z) -> ¬w).

На рисунке приведён фрагмент таблицы истинности функции F, содержащий все наборы аргументов, при которых функция F истинна.

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

zywx

yzwx

wxyz