def f(x, y, z, w):
    return ((y <= (not(w) and y)) <= (z == y and not(z == w))) and x


print(’x y z w’)
a = (0, 1)
for x in a:
    for y in a:
        for z in a:
            for w in a:
                if f(z, y, x, w) == 1:
                    print(x, y, z, w)

Запустим программу и получим такой вывод:

В исходной таблице не хватает строки со всеми единицами, значит на пропуски 1-й строки поставим единицы. В выводе только две строки с тремя единицами, значит поставим ноль на место последнего пропуска. z поставим на 3-е место, так как только там есть две единицы. Там, где у z единицы, только у w есть ноль, значит, w поставим на 4-е место. Там, где у z нули, только у y есть ноль, значит, y поставим на первое место. По остаточному принципу поставим x на 2-е место.

def f(x, y, z, w):
    return (y == (not(z))) and (x <= w) and (y <= z)


print(’x y z w’)
a = (0, 1)
for x in a:
    for y in a:
        for z in a:
            for w in a:
                if f(x, y, z, w) == 1:
                    print(x, y, z, w)

Запустим программу и получим такой вывод:

На места всех пропусков расставим нули, так как количество единиц в выводе и в исходной таблицах совпадают. Теперь же расставим переменные по количеству единиц: zwxy.

def f(x, y, z, w):
    return ((not(x == y) and w) == (z <= x)) and w


print(’x y z w’)
a = (0, 1)
for x in a:
    for y in a:
        for z in a:
            for w in a:
                if f(x, y, z, w) == 1:
                    print(x, y, z, w)

Запустим программу и получим такой вывод:

Сразу поставим y на 2-е место, так как у него одна единица. В выводе присутствует столбец с четырьмя единицами, значит, либо в пропуски в 3-м столбце нужно поставить единицы, либо в 4-м. В исходной таблице в строке, где у y единица, единицы должно быть всего две, значит, единицы поставим в пропуски 4-го столбца. w поставим на 4-е место, так как только там есть 4 единицы. Определить, где должен стоять x, а где – z, невозможно, значит, на первое место поставим z, так как она позже встречается в алфавите.

def f(x, y, z, w):
    return (x and (y == z) or w) <= (x == w)

print(’x y z w’)
a = (0, 1)
for x in a:
    for y in a:
        for z in a:
            for w in a:
                if f(x, y, z, w) == 0:
                    print(x, y, z, w)

Запустим программу и получим такой вывод:

w поставим на 4-е место, так как только там могут быть четыре единицы, на пропуск в 1-м столбце поставим 0, так как в выводе нет строк с четырьмя нулями. На 1-е место можем поставить только x, так как там две единицы. Про расположение y и z ничего точно сказать нельзя, поэтому на второе место ставим z, так как она встречается позже y в алфавите, а на третье место ставим y.

def f(x, y, z, w):
    return (not(x) or w) and (not(z) or y) and (not(y) or x)

print(’x y z w’)
a = (0, 1)
for x in a:
    for y in a:
        for z in a:
            for w in a:
                if f(x, y, z, w) == 1:
                    print(x, y, z, w)

Запустим программу и получим такой вывод:

Заметим, что в сходной таблице отсутствуют строки, полностью заполненные нулями и единицами, а в получившейся они есть, значит 2-я строка будет состоять полностью из единиц, а 4-я полностью из нулей после заполнения пропусков. w поставим на 2-е место, так как только у нее есть четыре единицы. По соответствующим признакам x поставим на 1-е место, z на 3-е и y на 4-е.

def f(x, y, z, w):
    return ((x == z) or w) <= (y and w or x)


print(’x y z w’)
a = (0, 1)
for x in a:
    for y in a:
        for z in a:
            for w in a:
                if f(x, y, z, w) == 0:
                    print(x, y, z, w)

Запустим программу и получим такой вывод:

Количество единиц в полученной табличке равно количеству единиц в данной, значит все пропуски можем заполнить нулями. w поставим на 3-е место, так как только у w есть две единицы, x поставим на 2-е место, так как только там нет единиц. z поставим на 4-е место, так как его единица находится в той же строке, где есть единица у w. По остаточному принципу y поставим 1-е место.

def f(x, y, z, w):
    return (x and y) and (x and (z <= w))

print(’x y z w’)
a = (0, 1)
for x in a:
    for y in a:
        for z in a:
            for w in a:
                if f(x, y, z, w) == 1:
                    print(x, y, z, w)

Запустим программу и получим такой вывод:

Очевидно, что в 3-м и 4-м столбцах могут быть только x и y, так как только у них нет ни одного нуля и они не могут быть в 1-м и 2-м столбцах. Также заметим, что в 1-м столбце стоит две единицы, а значит там может быть только w. На последнее место поставим x, так как он раньше встречается в алфавите, чем y.

Напишем программу в соответствии с условием. Получим такой вывод:

Обратим внимание, что только в третий столбец можно разместить четыре нуля, значит, это столбец y. Также подметим, что второй столбец это w, так как только в этом столбце содержится 3 единицы.

Заострим внимание на третью строчку таблицы из условия, сопоставим её со строчкой из таблицы, полученной программой и определим, что единственная единица в данной строке принадлежит столбцу x, значит, третий столбец это x. Оставшийся столбец это z. Ответ: ywxz.

Напишем программу в соответствии с условием. Получим такой вывод:

Исключим строчки со всеми нулями и единицами, так как в таблице из условия нет таких строк. Обратим внимание, что только в четвертый столбец можно разместить три нуля, значит, это столбец y.

Также подметим, что только во второй столбец можно разместить три единицы, значит, это столбец x. Третий столбец совпадает полностью со столбцом w. Оставшийся столбец это z. Ответ: zxwy.

Напишем программу в соответствии с условием. Получим такой вывод:

Обратим внимание, что только в третий столбец можно разместить три нуля, значит, это столбец y. Также подметим, что только в первый столбец можно разместить три единицы, значит, это столбец x. Второй столбец совпадает полностью со столбцом z. Оставшийся столбец это w. Ответ: xzyw.

Напишем программу в соответствии с условием. Получим такой вывод:

Обратим внимание, что только в первый столбец можно разместить 4 нуля. Значит, это столбец y. Также подметим, что только в третий столбец можно уместить ровно 2 единицы, получается, это столбец x.

Рассмотрим внимательно третью строчку таблицы. В данной строке единицы только x и ещё одна переменная. Исходя из вывода, что получили мы от программы, узнаем, что 2-ой столбец это w. Оставшийся столбец это z. Ответ: ywxz.

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

После запуска программы получаем результат:

Для начала, можем заметить, что строка с 4 единицами нам не подходит. По строчке с 3 нулями из таблицы в задании можем понять, что 3 столбец это w. Первая строка из полученной таблицы это первая строка из задания. Следовательно, мы теперь знаем, что x это первый столбец, поскольку в этой строке только w и x являются нулями. В оставшейся строке мы знаем, что 4 столбец равен 0, а это значит, что нам не подходят строки где y и z равны 1, получается, мы исключаем вторую и предпоследнюю строчку из таблицы, написанной программой. В итоге остается одна строка в нашей таблице и по ней определяем оставшиеся места для наших букв.

print(’x y z w’)
for x in range(0, 2):
    for y in range(0, 2):
        for z in range(0, 2):
            for w in range(0, 2):
                if (((not(y) or x) or (not(z) and w)) == (w == x)) == True:
                    print(x, y, z, w)

После запуска программы получаем результат:

В полученной таблице есть только одна строка, которая содержит три нуля, в данной в задании таблице так же есть одна такая строка, тогда можно однозначно определить столбец, в котором стоит единица - z. Тогда в первой строке таблицы пропущенное значение это единица. В полученной таблице только одна строка с двумя единицами, тогда можно однозначно определить столбец y.

Теперь можно опреднлить, что в последней строке таблицы из задания пропущены единицы. Отсюда определяем что первый столбец это x, а второй w.

print(’x y z w’)
for x in range(0, 2):
    for y in range(0, 2):
        for z in range(0, 2):
            for w in range(0, 2):
                if ((x and not(y)) or (y == z) or w) == False:
                    print(x, y, z, w)

После запуска программы получаем результат:

Тогда, первому столбцу из таблицы соответствует y, так как только у него есть две единицы. Второму столбцу соответствует x, так как только он имеет единицу, когда y тоже единица. Третьему столбцу соответствует w, так как только в этом столбце нет единиц. И, по остаточному принципу, определяем четвертый столбец как z.

print(’x y z w’)
for x in range(2):
    for y in range(2):
        for z in range(2):
            for w in range(2):
                if ((not(x <= y)) <= ((not(w <= z)) and x)) == False:
                    print(x,y,z,w)

Получаем такой результат:
x y z w
1 0 0 0
1 0 1 0
1 0 1 1

Первый столбец однозначно уходит под переменную y, последний под x, второй под w, так как только в её столбце 2 раза встречается 0, ну и z ставим на оставшееся место.
Ответ: ywzx.

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

Получаем такой результат:

Строку со всеми нулями можно сразу откинуть, так как в условии у нас в каждой строке есть минимум одна единица. Заметим, что во всех строках переменная y принимает значение 0, значит она займет первый столбец, так как во всех остальных есть минимум одна единица. Далее заметим, что только переменная w принимает 2 раза значение 1, значит она пойдет в 3 столбец. Теперь найдем строку, в которой 2 раза встречается единица, так как 3 столбец отдан под буквы w, то второй столбец будет x. Z ставим на оставшееся место. Ответ: yxwz.

print(’x’, ’y’, ’z’, ’w’)  #для удобства сопоставления с таблицей
for x in range(2):
    for y in range(2):
        for z in range(2):
            for w in range(2):
                if (not(z == x) and not x and (not(y <= z) or (w <= y))) == 1:
                    print(x, y, z, w)

Анализируя данные, мы видим, что только у ‘X‘ три значения равны нулю. Их мы можем поместить во 2-ю колонку. Обратим внимание, что первая колонка относится к ‘W‘, так как только у него есть комбинация 010. ‘W‘ имеет значение 1 только тогда, когда и ‘Y‘, и ‘Z‘ равны 1. Из этого следует, что 3-я колонка, состоящая из единиц, относится к ‘Z‘. Оставшаяся последняя колонка относится к ‘Y‘. Таким образом, получаем порядок ‘WXZY‘.

print(’x y z’)
for x in range(2):
    for y in range(2):
        for z in range(2):
             if ((not x or y or not z) and (not x == (not y or z))) == True:
                print(x,y,z)

Получаем результат:

По первой строке в условии однозначно определяется z, так как у нас единственная строка с одной 1. По первому столбцу мы определяем x, так как это единственная переменная, которая принимает значение 1 только один раз. Y ставим на оставшееся место.

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

Третий столбик — y, т.к. только столбик с y имеет три нуля.
Мысленно зачёркиваем строку с единицей в столбце y, она в таблице из условия не учитывается.
Столбик с одной единицей — z.
Оставшиеся столбцы различаем по строкам:
если в столбце есть единица, которая является единственной в одной строке, то это столбец x.
Оставшийся столбец — w.

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

Единственный столбик с тремя нулями — столбик z, следовательно, первому столбику присваиваем букву z. Заодно мысленно вычёркиваем третью строку из таблицы, которую вывела нам программа, т.к. z с единицей таблице из условия отсутствует. Единственный столбик с одной единицей — столбик x, поэтому последний столбик — x. Далее смотрим по строке, где одна единица, единица там это y, следовательно, третий столбик — y. Остаётся второй столбик — w.