Задача № 4146

Задание КИМ № 2: Таблицы истинности логических выражений
Раздел № 8: Сопоставление столбцов таблицы истинности и переменных

(Е. Джобс) Логическая функция F задаётся выражением (a → b) ∧ ¬(b ≡ c) ∧ (d → a). На рисунке приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся наборы аргументов, при которых функция F истинна. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных a, b, c, d. В ответе напишите буквы a, b, c, d в том порядке, в котором идут соответствующие им столбцы. Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.

Ответ:

cdab