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

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

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

????F
0000
010
0010

Определите, какому столбцу таблицы истинности функции \(F\) соответствует каждая из переменных \(x\), \(y\), \(z\), \(w\).

Решение:

Python


from itertools import product, permutations

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

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

Ответ: \(yzwx\)