Миша заполнял таблицу истинности логической функции $F$

$y \land (x \rightarrow w) \land (\neg x \rightarrow(\neg w = z)),$

но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных $w, x, y, z$ .

Определите, какому столбцу таблицы соответствует каждая из переменных $w, x, y, z$ . В ответе напишите буквы $w, x, y, z$ в том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу; затем буква, соответствующая второму столбцу, и т. д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.

Question

Миша заполнял таблицу истинности логической функции $F$

$y \land (x \rightarrow w) \land (\neg x \rightarrow(\neg w = z)),$

но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных $w, x, y, z$ .

Определите, какому столбцу таблицы соответствует каждая из переменных $w, x, y, z$ . В ответе напишите буквы $w, x, y, z$ в том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу; затем буква, соответствующая второму столбцу, и т. д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.

Решение:

Решение на Python:

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 (y and (x <= w) and ((not x) <= ((not w) == z))) == 1:
                    print(x, y, z, w)

Вывод программы:

Ответ: xzyw

Ответ:

xzyw

Accepted Answer

xzyw