Логическая функция задаётся выражением: X ∧ ¬Y ∨ ¬Z. На рисунке представлен фрагмент таблицы истинности, в котором значение функции ложно. Определите, какому столбцу таблицы истинности соответствует каждая из переменных X, Y и Z. Все строки в представленном фрагменте разные.

Для ложного значения функции необходимо, чтобы обе части дизъюнкции были ложны: Z = 1 и X ∧ ¬Y = 0.

Обозначим три столбца переменных слева направо как A, B и C. В первых двух строках C = 0, поэтому столбец Z не может быть C: в каждой строке с F = 0 переменная Z должна равняться 1. Следовательно, Z — это A или B.

Однако оставшиеся сведения не определяют единственное соответствие. Например, подходят оба назначения:

• Z = A, X = B, Y = C: в третьей строке можно взять C = 0; тогда во всех строках F = 0.
• Z = A, X = C, Y = B: в третьей строке можно взять C = 0; тогда во всех строках F = 0.

В обоих примерах неизвестные значения можно выбрать так, чтобы строки были различными. Значит, по видимому фрагменту нельзя однозначно установить соответствие переменных столбцам.

Ответ: данных недостаточно для единственного решения; Z находится в первом или втором столбце, а для однозначного определения X и Y нужен дополнительный фрагмент таблицы или условие.