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

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

Логическая функция \(F\) задаётся выражением $$ ((z \to y) \land (\neg x \to w)) \to ((z \equiv w) \lor (y \land \neg x)). $$ На рисунке приведён частично заполненный фрагмент таблицы истинности функции \(F\), содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции \(F\) соответствует каждая из переменных \(x\), \(y\), \(z\), \(w\).

????F
1110
0000
00

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

Решение:

Python


from itertools import product, permutations

def F(x, y, z, w):
    return ((z <= y) and ((not x) <= w)) <= ((z == w) or (y and (not x)))

for p in permutations('xyzw'):
    for a, b, c, d, e in product([0, 1], repeat=5):
        table = [(1, a, 1, 1, 0),
                 (b, 0, 0, 0, 0),
                 (c, d, 0, e, 0)]
        if len(set(table)) < 3:
            continue
        if all(F(**dict(zip(p, row))) == row [-1] for row in table):
            print(*p)

Ответ: \(wzyx\)