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

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

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

???F
0000
0010
0101
0111
1001
1010
1101
1110

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

Решение:

Python


from itertools import permutations

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

table = [[0,0,0,0],
         [0,0,1,0],
         [0,1,0,1],
         [0,1,1,1],
         [1,0,0,1],
         [1,0,1,0],
         [1,1,0,1],
         [1,1,1,0]]

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

Ответ: \(acb\)