Логическая функция задаётся выражением:
Ниже представлен фрагмент таблицы истинности функции , содержащий неповторяющиеся строки.
Определите, какому столбцу истинности функции соответствует каждая переменная
. В ответе укажите переменные в соответствующем порядке без пробелов. Если однозначно определить значения переменных нельзя, то в ответе укажите
.
Решение №:
print(’x y z w’)
for x in range(2):
for y in range(2):
for z in range(2):
for w in range(2):
if not(x) and (not(y) and not(z) or z and w):
print(x, y, z, w)
Результат работы программы:
Результат работы программы содержит лишь один столбик без единиц, значит, это первый столбик исходной таблицы. РРП содержит строчку из нулей, это первая строка в исходной таблице, так как во всех остальных есть единицы. Третья строка третий столбец — , так как РРП содержит столбец из двух единиц и двух нулей, а все остальные столбцы уже заполнены другими значениями. Исходная таблица равна РРП, значит, ответ
.
Решение №:
Выпишем полную таблицу истинности и найдём все сочетания ,
,
,
при которых функция равняется нулю:
Дальнейшее аналитическое рассуждение аналогично рассуждению из решения №.