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

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

Рассмотрим, когда Тогда отрицание этого выражения примет значение . Для выполнения этого условия Следовательно, переменная занимает второй столбец. Конъюнкция во второй скобке также должна быть ложной. Она будет истинной в том случае, когда Посмотрев на вторую строку, мы поймём, что для ложности конъюнкции А значит, первый столбец занимает а третий занимает переменная

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

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

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

Для начала заметим, что есть только один столбец с тремя нулями - это переменаня , значит она стоит на втором месте. Также есть только один столбец с двумя единицами - это переменная , значит она стоит на первом месте, и по остаточному принципу переменная стоит на третьем месте.