4. Логическая функция F задаётся выражением (x ∨ y) ∧ (¬(y ≡ z) ∧ ¬w). На рисунке приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z, w. В ответе напишите буквы x, y, z, w в том порядке, в котором идут соответствующие им столбцы (сначала — буква, соответствующая первому столбцу; затем — буква, соответствующая второму столбцу, и т. д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.

Для каждой строки с F = 1 выражение требует w = 0 и y ≠ z. Кроме того, должно выполняться x ∨ y = 1.

В столбце 4 стоят нули в двух строках, а в столбце 2 — единицы, поэтому столбцу w соответствует столбец 4. В первой строке столбцы 1 и 3 оба равны 1, следовательно, они не могут одновременно соответствовать y и z: эти переменные должны иметь разные значения. Проверка условий и требования неповторяемости строк даёт соответствия: столбец 1 — z, столбец 2 — y, столбец 3 — x.

Заполненный фрагмент для проверки:

Ответ: zyxw