Строки с пропущенными значениями: Логическая функция F задаётся выражением; 0, 1 · ЕГЭ №2

Составим таблицу истинности для выражения

¬(x → z) ∨ (y ≡ w) ∨ ¬y

Программа печатает наборы (в порядке x, y, z, w), при которых F = 0 — именно такое значение стоит во всех строках фрагмента:

print("x y z w")
for x in range(0, 2):
    for y in range(0, 2):
        for z in range(0, 2):
            for w in range(0, 2):
                if not(not(x <= z) or (y == w) or not(y)):
                    print(x, y, z, w)

Наборы: (0, 1, 0, 0), (0, 1, 1, 0), (1, 1, 1, 0). Строки фрагмента попарно различны, значит это те же наборы, только столбцы переставлены.

Единиц по столбцам: в наборах x — 1, y — 3, z — 2, w — 0; во фрагменте — 1, 1, 0, 0 (пустые клетки не считаем).

y: нулей нет → третий столбец (он пуст).

w: единиц нет → четвёртый столбец.

z: один ноль, а в первом столбце фрагмента их два → первый столбец x, второй z.

Проверка: строки фрагмента дают наборы (0, 1, 0, 0), (0, 1, 1, 0), (1, 1, 1, 0) — все разные.

$\textbf{Ответ: xzyw.}$