2.01 Полностью заполненные фрагменты таблицы истинности

Аналитическое решение:

1. Мы можем однозначно определить, что для истинности функции Следовательно, переменная занимает второй столбец.

2. Рассмотрим вторую строчку фрагмента таблицы истинности. Предположим, что - это третий столбец, а — первый. Но в таком случае импликация будет истинна, эквивалентность ложна, а значит, функция ложна. Покажем, что - это первый столбец, а — третий столбец. Тогда импликация будет истинна, эквивалентность истинна, а значит, и конъюнкция будет истинна. Следовательно, переменные расположены в порядке

Программное решение:

print(’x y z’)
for x in range(2):
    for y in range(2):
        for z in range(2):
            if (x and (y == ((not y) <= z))) == True:
                print(x, y, z)

После запуска программы получаем результат:

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