Миша заполнял таблицу истинности логической функции F = (y → ¬ (x → z)) ∨ w, но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных w, x, y, z.
Определите, какому столбцу таблицы соответствует каждая из переменных w, x, y, z.
В ответе напишите буквы w, x, y, z в том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу; затем буква, соответствующая второму столбцу, и т.д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.
Решение:
| print ('x y w z') for x in range(2): for y in range(2): for w in range(2): for z in range(2): if ((not(y) or not(not(x) or z)) or w) == 0: print (x, y, w, z) |
x y w z
0 1 0 0
0 1 0 1
1 1 0 1
Решение задачи на определение соответствия переменных
Миша заполнял таблицу истинности логической функции F = (y → ¬ (x → z)) ∨ w, но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных w, x, y, z.
Для решения этой задачи был написан следующий код на Python для генерации таблицы истинности:
| print('x y w z') for x in range(2): for y in range(2): for w in range(2): for z in range(2): if ((not(y) or not(not(x) or z)) or w) == 0: print(x, y, w, z) |
Результат выполнения кода:
| x y w z 0 1 0 0 0 1 0 1 1 1 0 1 |
Используя эти данные, мы можем заполнить таблицу истинности:
Таким образом, переменные соответствуют следующим столбцам:
- x — первый столбец
- z — второй столбец
- y — третий столбец
- w — четвертый столбец
Ответ: xzyw
Ответ: xzyw