Реши задание на изображении

Краткий ответ: zywx.

Из таблицы читаем строки:

\[ 0111\to 0,\qquad 0011\to 0,\qquad 0010\to 1. \]

Обозначим:

\[ A=(\neg x\lor z)\equiv(y\land\neg w),\qquad F=A\to(z\land y). \]

1. Находим столбец \(z\)

Если \(F=0\), то \(A=1\), а \(z\land y=0\). При \(z=1\) из \(A=1\) получилось бы \(y=1,\ w=0\), тогда \(z\land y=1\), противоречие.

Значит, в строках с \(F=0\) обязательно \(z=0\). В первой строке единицы стоят во 2-м, 3-м и 4-м столбцах, следовательно:

\[ \text{Переменная 1}=z. \]

2. Находим \(y\)

Во второй строке значения столбцов 2–4 равны \(0,1,1\), а \(F=0\).

• Если столбец 2 — это \(x\), то \(x=0,\ y=w=1\), и функция получилась бы равной 1.
• Если столбец 2 — это \(w\), то \(w=0,\ x=y=1\), и функция также равна 1.

Значит:

\[ \text{Переменная 2}=y. \]

Остаётся распределить \(x\) и \(w\) между столбцами 3 и 4.

3. Различаем \(x\) и \(w\)

В третьей строке значения столбцов 3 и 4 равны \(1,0\), а \(F=1\).

Если бы столбец 3 был \(x\), а столбец 4 — \(w\), то получили бы \(x=1,w=0,y=z=0\), и функция была бы равна 0. Поэтому:

\[ \text{Переменная 3}=w,\qquad \text{Переменная 4}=x. \]

Проверка даёт строки \(0111\to0,\ 0011\to0,\ 0010\to1\).

Ответ: zywx