Миша заполнял таблицу истинности логической функции \(F=((y →x) →w) ∨¬z\), но успел заполнить лишь фрагмент из трёх различных её строк даже не указав, какому столбцу таблицы соответствует каждая из переменных \(w, x, y, z\). ? | ? | ? | ? | F 1 | 0 | 0 | 0 1 | 1 | 0 1 | 0 | 0 Определите, какому столбцу таблицы соответствует каждая из переменных \(w, x, y, z\). В ответе напишите буквы \(w, x, y, z\) в том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу; затем буква, соответствующая второму столбцу, и т.д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.

Программное решение при помощи перебора: for x in range(2): for y in range(2): for z in range(2): for w in range(2): f = ((y <= x) <= w) or not z if f == 0: print(x, y, z, w) Программа выведет в результате для соответствующих столбцов \(x, y, z, w\): 0 0 1 0 1 0 1 0 1 1 1 0 Столбец с тремя единицами \(z\) может стоять только первым в исходной таблице, так как в остальных столбцах есть уже по нулю. Столбец с тремя нулями \(w\) может стоять только последним в исходной таблице, так как в остальных уже есть по единице. Столбец с двумя единицами \(x\) будет стоять вторым, а столбец \(y\) с одной единицей - третьим соответственно. Ответ: zxyw. Программное решение при помощи генерации комбинаций: def f(x, y, z, w): return ((y <= x) <= w) or not z combs = [list(map(int, c)) for c in product('01', repeat=5)] for c1, c2, c3, c4, c5 in combs: t = [(1, 0, 0, c1), (c2, 1, 1, c3), (c4, 1, c5, 0)] if len(t) == len(set(t)): for xyzw in permutations('xyzw'): res = [f(**dict(zip(xyzw, r))) for r in t] if res == [0] * 3: print(xyzw) Ответ: zxyw.