Задача #793

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

В ответе напишите буквы $a,b,c,d$ в том порядке, в котором идут соответствующие им столбцы. Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.