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

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

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

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

Question

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

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

но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных $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):
                f = ((z <= y) and ((not y) == x)) <= (not w)
                if f == 0:
                    print(x, y, z, w)

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

Ответ: xywz

Ответ:

xywz

Accepted Answer

xywz