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