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

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

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

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

Ниже представлен фрагмент таблицы истинности функции $F$ .

|----|----|---|---| |???-|???-|???|F--| | 1 | 0 | 0 | 0 | |----|----|---|---| |-0--|-1--|-0-|-0-| --0----1----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 (x or (not y)) <= (z and x)):

                print(x,y,z, int((x or (not y)) <= (z and x)))

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

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

Только в четвертой строке содержится две единицы. Нолик в ней отводится под переменную $z$ . Сопоставляем с исходной таблицей. Там это третья строка. Значит, под $z$ отведён первый столбик. Анализируем результат работы программы. Только в столбике переменной $x$ две единицы. Значит, в исходной таблице для переменной $x$ используется второй столбик. Тогда для $y$ остаётся третий столбик.

Ответ: zxy