Задача к ЕГЭ по информатике на тему «частично заполненный фрагмент таблицы» №4

Просмотров 5 Комментарии 0

Логическая функция $F$ задаётся выражением:

-- -- (x∨ (y∧ z)) → (z ≡ (y ∧ x))

Ниже представлен частично заполненный фрагмент таблицы истинности функции $F$ , содержащей неповторяющиеся строки.

|----|----|---|---| |??? |??? |???|F | |----|----|---|---| |-1--|-1--|-1-|-0-| |-1--|-1--|---|-0-| | 1 | | | 0 | ------------------

Определите, какому столбцу истинности функции $F$ соответствует каждая переменная $x,y,z$ .

print("x y z F")
for x in (0,1):
    for y in (0,1):
        for z in (0,1):
            if (not(((not x) or (y and z)) <= (z == ((not y) and x)))):
                print(x,y,z, 0)

Результат работы программы:

|--|--|--|--| |x-|y-|z-|F-| |0-|0-|1-|0-| |0 |1 |1 |0 | |--|--|--|--| -1--1--1--0--

Анализируем результат. В каждом столбце разное количество единиц. Сравниваем с таблицей из условия. Ответ — $zyx$ .

\text{[math]}

Ответ: zyx