2.02 Частично заполненный фрагмент таблицы

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

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

Предположим, что занимает первый столбец.

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

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

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

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

Для начала заметим, что только в одном столбце присутствует две единицы, а значит можем однозначно определить, что на третьем месте. В той строке, где , одна из переменных равна 0, а другая - 1, значит на первом месте - , на втором - .