Решение №:

Напишем программу:

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

Выведет таблицу:

Переменная два раза равна , значит, — столбец, так в других столбцах нет места для двух . Переменная два раза равна , значит, — столбец, так как в других столбцах нет места для двух . Остается, что — столбец.

.

Решение №:

Выпишем полную таблицу истинности и найдём все сочетания , , при которых функция равняется нулю:

Дальнейшее аналитическое рассуждение аналогично рассуждению из решения №.