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

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

1. Обратим внимание на первую строчку фрагмента таблицы. Предположим, что все переменные принимают значение . Тогда а значит То есть все переменные не могут быть одновременно нулями. Значит в первой ячейке первой строчки стоит . Предположим, что это Но так как в таком случае, то то есть Если это то так как то импликация будет истинной. Следовательно, первый столбец занимает переменная x.

2. Рассмотрим теперь вторую строчку. Мы поняли, что одновременно нулями все переменные быть не могут, быть единицей может только (в то время как остальные переменные равны нулю). Значит, первую и вторую ячейку занимает единица. Теперь рассмотрим, когда Но тогда а значит, Значит импликация будет истинной при этом. Остаётся вариант, когда Данный вариант удовлетворяет условиям, так Следовательно, занимает второй столбец, а занимает третий.

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

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

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

Для начала заметим, что есть только один столбец с двумя нулями. Следовательно, на третьем месте стоит переменная . Есть 2 строки, где : с двумя единицами, и с одной единицей. В случае первой строки из условия, в ней будет только одна единица, и это будет переменная , значит она стоит на первом месте, и по остаточному принципу на втором месте стоит переменная .