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

Просмотры: 115
Изменено: 1 февраля 2025

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

????F
00
000
0000

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

Решение:

Python


from itertools import product, permutations

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

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

Ответ: \(zwxy\)