2. Логические выражения и функции: #292371

Функция равна $0$, поэтому все части дизъюнкции должны быть равны $0$: $\neg(w\to x)=0$, следовательно, $w\to x=1$; $y\to z=0$, следовательно, $y=1$ и $z=0$; $\neg y=0$, следовательно, $y=1$.

Таким образом, во всех строках переменная $y$ равна $1$, а переменная $z$ равна $0$.

Второй столбец содержит значения $0$ и $1$, поэтому он не может соответствовать переменным $y$ или $z$.

Третий столбец также содержит значения $0$ и $1$, поэтому он не может соответствовать переменным $y$ или $z$.

Следовательно, второму и третьему столбцам соответствуют переменные $w$ и $x$, а первому и четвертому — переменные $y$ и $z$.

В третьей строке четвертый столбец равен $0$, поэтому четвертый столбец соответствует переменной $z$. Тогда первый столбец соответствует переменной $y$.

Осталось определить положение переменных $w$ и $x$.

Во второй строке второй столбец равен $1$, а третий столбец равен $0$.

Если бы второй столбец соответствовал переменной $w$, а третий — переменной $x$, то получили бы: $w=1$, $x=0$. При этих значениях импликация $w\to x$ равна $0$, что противоречит условию $w\to x=1$.

Следовательно, второй столбец соответствует переменной $x$, а третий столбец — переменной $w$.

Заполненный фрагмент таблицы: