Задание 2. Информатика. ЕГЭ 2026. Статград. 23.10.2025

«Вручную» $$(\neg x \land z \land \neg y \land \neg w) \lor (\neg x \land z \land y \land \neg w) \lor (\neg x \land z \land y \land w) =$$ $$(\neg x \land z \land \neg w) \lor (\neg x \land z \land y \land w) = \neg x \land z \land (w \to (y \land w))$$ Теперь понятно, что во всех строках \(x\) должен быть равен \(0,\) а \(z\) равен \(1.\) Первый столбец — это \(x,\) четвёртый — \(z.\)

x	?	?	z	F
0	1	0	1	1
0	0		1	1
0		1	1	1

Второй столбец не может быть \(w,\) потому что в этом случае из первой строки получим \(1 \to (0 \land 1) = 1 \to 0 = 0\) и вся конъюнкция в \(F\) сломается. Значит, второй столбец — это \(y,\) а третий — \(w.\) Окончательно таблица будет выглядеть так

x	y	w	z	F
0	1	0	1	1
0	0	0	1	1
0	1	1	1	1

Python

from itertools import permutations, product

def F(x, y, z, w):
    return ((not x) and z and (not y) and (not w)) or ((not x) and z and y and (not w)) or ((not x) and z and y and w)

for p in permutations('xyzw'):
    for a, b, c, d, e, f, g in product([0,1], repeat=7):
        table = [(a, 1, 0, b, 1),
                 (0, 0, c, d, 1),
                 (e, f, 1, g, 1)]
        if len(set(table)) < 3:
            continue
        if all(F(**dict(zip(p, row))) == row[-1] for row in table):
            print(*p)

Ответ: \(xywz\)