Задание 2. Информатика. ЕГЭ. Поляков-4148

(Е. Джобс) Логическая функция \(F\) задаётся выражением $$ ((a \land b) \equiv \neg c) \land (b \to d). $$ На рисунке приведён частично заполненный фрагмент таблицы истинности функции \(F\), содержащий неповторяющиеся наборы аргументов, при которых функция \(F\) ложна. Определите, какому столбцу таблицы истинности функции \(F\) соответствует каждая из переменных \(a\), \(b\), \(c\), \(d\).

?	?	?	?	F
1	0	0	0	1
1	0	1	0	1
1	0	1	1	1
1	1	0	0	1

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

from itertools import permutations

def F(a, b, c, d,):
    return ((a and b) == (not c)) and (b <= d)

table = [(1, 0, 0, 0, 1),
         (1, 0, 1, 0, 1),
         (1, 0, 1, 1, 1),
         (1, 1, 0, 0, 1)]

for p in permutations('abcd'):
    if all(F(**dict(zip(p, row))) == row[-1] for row in table):
        print(*p)