Задание 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 | |||
1 | 1 | 1 | ||
1 | 1 | 1 | 1 |
В ответе напишите буквы \(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\)