№2 — #213

# Задача 2: Таблица истинности — определить соответствие столбцов переменным
# Функция: F = ¬(y → (x ≡ z)) ∧ (w → x), но успел заполнить лишь фрагмент из трёх различных её строк, даже не указа
from itertools import permutations
def F(w, x, y, z):
    # Формула из условия (замените на реальную):
    return int((w == z) or (not (y and not w)) or (not x))
# Таблица из условия (строки фрагмента):
# table = [(col1, col2, col3, col4, F) ...]
# table = [(0, 1, 1, 0, 1), (1, 0, 0, 1, 0), ...]
table = []  # заполнить по условию
for perm in permutations(['w', 'x', 'y', 'z']):
    valid = True
    for row in table:
        vals = dict(zip(perm, row[:4]))
        if F(**vals) != row[4]:
            valid = False
            break
    if valid:
        print(''.join(perm))
# Ответ: zxwy