Задание №2: Таблицы истинности логических функций
Основные типы и прототипы задания №2:
Построение таблицы истинности
Частично заполненные фрагменты
Сопоставление строк и столбцов
Условие задания
(Демо-2026) Логическая функция F задаётся выражением (x ∨ y) ∧ ¬(y ≡ z) ∧ ¬w. На рисунке приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z, w.
В ответе напишите буквы x, y, z, w в том порядке, в котором идут соответствующие им столбцы. Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.
Ответ:
zyxw
Решение на Python: Печатаем строки, где F = 1
print("x y z w") for x in 0, 1: for y in 0, 1: for z in 0, 1: for w in 0, 1: if (x or y) and (y != z) and (not w): print(x, y, z, w)
Этот код разобран по шагам в разборе задания №2: там же типичные ошибки и лайфхаки.