Для ложного значения функции необходимо, чтобы обе части дизъюнкции были ложны: 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 нужен дополнительный фрагмент таблицы или условие.

Поделись с друзьями