25. Логическая функция F задаётся выражением (x ∧ ¬y) ∨ (y ≡ z) ∨ w. Дан частично заполненный фрагмент, содержащий неповторяющиеся строки таблицы истинности. Определите, какому столбцу таблицы истинности соответствует каждая из переменных x, y, z, w. В четырёх строках функции указано 0; видимые единицы стоят в столбце 4 первой строки, в столбце 1 третьей строки, в столбцах 1 и 2 четвёртой строки.

Чтобы функция была равна 0, каждый член выражения должен быть равен 0. Поэтому w = 0, переменные y и z должны быть различны, а x ∧ ¬y = 0.

Получаются четыре набора значений в порядке x, y, z, w:

Но видимый фрагмент не определяет соответствие столбцов однозначно. Например, подходят оба соответствия: столбцы 1–4 — x, y, w, z; или столбцы 1–4 — z, x, w, y. Для каждого из них можно расставить четыре приведённые строки так, чтобы все видимые единицы совпали с фрагментом.

Ответ: по видимым данным нельзя однозначно определить, какому столбцу соответствует каждая переменная. Нужен более полный фрагмент таблицы.