Программное решение при помощи перебора:
for x in range(2):
for y in range(2):
for z in range(2):
for w in range(2):
f = not (z <= w) or (z or x) and y or not x
if f == 0:
print(x, y, z, w)Программа выведет в результате для соответствующих столбцов x,y,z,w:
1 0 0 0
1 0 0 1
1 0 1 1
Столбец с тремя единицами x может стоять только четвертым в исходной таблице, так как в остальных столбцах есть уже по нулю.
Обновим данные в соответствии с выше указанным выводом:
y w z x
0 0 0 1
0 0 1 1
0 1 1 1
Столбец с тремя нулями y может стоять только третьим в исходной таблице, так как в остальных столбцах есть уже по единице.
Обновим данные в соответствии с выше указанным выводом:
w z y x
0 0 0 1
0 1 0 1
1 1 0 1
Строка 0001 соответствует первой строке таблицы, строка 0101 - третьей, а строка 1101 - второй.
Следовательно, столбец w будет стоять первым, а столбец z - вторым.
Ответ: zwyx.
Программное решение при помощи генерации комбинаций:
from itertools import product, permutations
def f(x, y, z, w):
return not (z <= w) or (z or x) and y or not x
combs = [list(map(int, c)) for c in product('01', repeat=7)]
for c1, c2, c3, c4, c5, c6, c7 in combs:
t = [(c1, 0, 0, c2), (1, c3, c4, c5), (0, 1, c6, c7)]
if len(t) == len(set(t)):
for xyzw in permutations('xyzw'):
res = [f(**dict(zip(xyzw, r))) for r in t]
if res == [0] * 3:
print(xyzw)Ответ: zwyx.