Решение №:

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

Результат работы программы:

Так как строка отсутствует в исходной таблице, не обращаем на нее внимание. Столбцы исходной таблицы соотвествуют столбцам соответственно. Но, заметим, что столбцы и одинаковые относительно столбца , их невозможно определить однозначно, значит, ответ . Программу можно было не писать, так как таблица нам дана изначально.

Решение №:

1. Видим, что у нас дизъюнкция двух конъюнкций, рассмотрим сначала левую часть. Левая часть равна единице, когда икс равен игреку, а игрек равен зет, то есть когда они все равны: например на наборе или наборе . У нас есть один такой набор - самая первая строка, но никакой информации нам это не даёт, так как все переменные равны единице. В остальных случаях левая часть равняется нулю.

2. Левая часть нам дала информацию, что первая строчка будет равна единице независимо от того, что будет в правой части, но больше ничего, так что давайте рассмотрим правую часть: у нас конъюнкция и исключающего ИЛИ и , значит всегда должен быть равен единице, а значит, что он занимает первый столбец. А что насчёт второго и третьего столбцов? Оказывается, что они симметричны относительно того, кого бы поставим на вторую и третью позицию, то есть наборы и оба вполне себе возможно, значит, что определить однозначно не возможно. Получается, что в ответ мы указываем .