Задание

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

  • yzwx
  • zwyx
  • xzwy