Миша заполнял таблицу истинности функции ¬(¬x ∧ y) ∧ ¬(x ≡ z) ∧ w. Определите, каким столбцам соответствуют переменные w, x, y, z.

По видимым значениям возможны два соответствия: wyxz и wzyx. Например, строки таблицы могут соответствовать трём наборам, при которых функция истинна: (w,x,y,z) = (1,0,0,1), (1,1,0,0), (1,1,1,0). При одном допустимом расположении столбцов получается `wyxz`, при другом — `wzyx`; оба согласуются со всеми заполненными клетками и тремя различными строками. Поэтому однозначно определить порядок букв по данному фрагменту нельзя.