Решение №:

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

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

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

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

Решение №:

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

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