Цветные числа — восстановленные значения. Курсивом отмечены значения при проверяемом, пока не доказанном порядке букв.
Проверим первый порядок
Предположим, что первый столбец — x, второй — y. В первой строке тогда y = 0 и z = 0: подходит только набор 1001 из вывода, поэтому x = 1. Во второй строке x = 0: подходит только набор 0101, поэтому y = 1.
Вывод Python · только F = 1
Проверяемый порядок · ещё не доказан
Первые две строки совместимы с выводом. Теперь проверим третью строку при том же порядке букв.
Стоп: две строки совпали
В третьей строке при выбранных подписях y = 1. В выводе только один такой набор — 0101. Он уже использован для второй строки. Другого набора с y = 1 нет, поэтому изменить пропуски и избежать повтора не получится.
Вывод Python · только F = 1
Проверяемый порядок · ещё не доказан
Строка 2 = строка 3В обеих строках: 0, 1, 1, 0. Один и тот же набор использован дважды — это противоречит условию.
Вторая и третья строки совпали целиком. Условие требует три различные строки. Следовательно, проверяемый порядок x, y, w, z неверен, хотя каждая строка отдельно даёт F = 1.
Проверим оставшийся порядок
Остаётся порядок y, x. В первой строке во втором столбце дан 0, то есть x = 0. В выводе только один такой набор — 0101, поэтому y = 1. Во второй строке y = 0 и z = 0: подходит только 1001, поэтому x = 1.
Вывод Python · только F = 1
В третьей строке x = 1. В обоих подходящих наборах y = 0, но z может быть 0 или 1. Допишем y = 0; последнее значение пока оставим неизвестным.
Восстановим пропуск по различию строк
Сравним вторую и третью строки: первые три значения у них одинаковы — 0, 1, 1. Во второй строке z = 0. Если в третьей поставить тоже 0, строки снова совпадут.
Вывод Python · только F = 1
Значит, в третьей строке z = 1. Все три набора присутствуют в выводе и различаются. Ответ в порядке столбцов условия: yxwz.