Миша заполнял таблицу истинности логической функции (¬a∧¬b)∨(b≡c)∨d но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных a b c d.
Определите, какому столбцу таблицы соответствует каждая из переменных a b c d. В ответе напишите буквы том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу; затем буква, соответствующая второму столбцу, и т.д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.
Решение:
Напишем код на Python, который заполнит нашу таблицу:
print('a b c d')
for a in range(2):
for b in range(2):
for c in range(2):
for d in range(2):
f = ((not a) and (not b)) or (b == c) or d
if f == 0:
print(a, b, c, d)Вывод программы:
a b c d
0 1 0 0
1 0 1 0
1 1 0 0Проанализируем таблицу:
Единственный столбец с тремя нулями d может быть только во втором столбце.
Во третьем и четвертом столбцах допишем 0, так как нет столбцов с тремя единицами.
В первом столбце может быть только одна единица, значит это столбец c,
Третий столбец это столбец b .
Четвертый столбец это a.
Ответ: cdba