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

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

Заметим, что для ложности функции должен принимать значение . Следовательно, занимает третий столбец. Также должен иметь значение , а значит, второй столбец занят переменной а все ячейки столбца содержат единицы. Первую ячейку второй строки должна занимать , так как иначе строка совпала бы с первой строкой. Заметим, что ложно во всех случаях, кроме Именно поэтому не может занимать четвёртый столбец, а первый (судя по второй строке). Это значит, что находится в четвёртом столбце, а в первом. Отсюда следует, что в первой и четвёртой ячейках третьей строки находятся единицы.

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

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

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

Для начала заметим, что нет ни одной строки, в которой нет единиц. Следовательно, во 2 строке фрагмента таблицы на втором месте будет стоять 1, и это будет переменная . Во 2 строке из условия на пропущенные места также стоит поставить единицы - строк с 1 единицей или без единиц не осталось. В строке с двумя единицами и . Т.к. на втором месте уже стоит переменная , на первом месте будет стоять переменная . В 3 строке все пропуски будут заполнены единицами, и в строке с 3 единицами у нас , из этого следует, что на 3 месте стоит переменная . По остаточному принципу, на 4 месте будет стоять переменная .