Задание 2. Информатика. ЕГЭ. Поляков-4146
- Просмотры: 84
- Изменено: 25 ноября 2024
(Е. Джобс) Логическая функция \(F\) задаётся выражением $$ (a \to b) \land \neg (b \equiv c) \land (d \to a). $$ На рисунке приведён частично заполненный фрагмент таблицы истинности функции \(F\), содержащий неповторяющиеся наборы аргументов, при которых функция \(F\) истинна. Определите, какому столбцу таблицы истинности функции \(F\) соответствует каждая из переменных \(a\), \(b\), \(c\), \(d\).
| ? | ? | ? | ? | F |
|---|---|---|---|---|
| 0 | 0 | 1 | ||
| 0 | 0 | 0 | 1 | |
| 0 | 0 | 0 | 1 |
В ответе напишите буквы \(a\), \(b\), \(c\), \(d\) в том порядке, в котором идут соответствующие им столбцы. Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.
Решение:
Python
from itertools import product, permutations
def F(a, b, c, d):
return (a <= b) and (not (b == c)) and (d <= a)
for p in permutations('abcd'):
for a, b, c, d in product([0, 1], repeat=4):
table = [(0, 0, a, b, 1),
(0, 0, 0, c, 1),
(d, 0, 0, 0, 1)]
if len(set(table)) < 3:
continue
if all(F(**dict(zip(p, row))) == row[-1] for row in table):
print(*p)
Ответ: \(cdab\)