Задание

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

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

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