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

Просмотры: 146
Изменено: 24 ноября 2024

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

????F
1  1
111
1111

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

Решение:

Python


from itertools import product, permutations

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

for p in permutations('abcd'):
    for k, m, n, q, r, s in product([0, 1], repeat=6):
        table = [[1, k, m, n, 1],
                 [1, q, 1, r, 1],
                 [1, s, 1, 1, 1]]
        if table[0] == table[1] or table[0] == table[2] or table[1] == table[2]:
            continue
        if all(F(**dict(zip(p, row))) == row[-1] for row in table):
            print(*p)

Ответ: \(dcba\)