Логическая функция F задаётся выражением:
Дан частично заполненный фрагмент, содержащий неповторяющиеся строки таблицы истинности функции . Определите, какому столбцу таблицы истинности соответствует каждая из переменных
,
,
.
В ответе напишите буквы в том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу, затем буква, соответствующая второму столбцу, и т. д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.
Решение 1
print(’x y z’)
for x in range(2):
for y in range(2):
for z in range(2):
if not((z == x) or ((z or y) <= x)):
print(x, y, z)
Решение 2
Для ложности данной функции дизъюнкция должна быть ложной, то есть обе скобки должны быть ложными. Рассмотрим, когда вторая скобка, то есть импликация, ложна. Это возможно только в случае, если и
. То есть
точно занимает первый столбец. Рассмотрим первую скобку, то есть
. Она ложна, только если
не равен
. Поскольку всегда
, то всегда
. Значит,
занимает второй столбец. Тогда оставшийся третий столбец занимает
.