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

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

((x → ¬y) → ¬z) ≡ (x∧ ¬y)

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

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

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

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

Решение №1  :

Напишем программу:

print(’x y z’)
for x in range(2):
    for y in range(2):
        for z in range(2):
            f = ((x <= (not(y))) <= (not(z))) == (x and not(y))
            if f == 1:
                print(x, y, z)

Выведет таблицу:

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

Только z  два раза принимает значение 1  , поэтому z  2  столбец. Только y  принимает значение 1  одновременно с z  , значит, y  3  столбец. Остается, что x  1  столбец.

Решение №2  :

Выпишем полную таблицу истинности и найдём все сочетания x  , y  , z  , при которых функция равняется нулю:

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

Дальнейшее аналитическое рассуждение аналогично рассуждению из решения №1  .

Ответ: xzy
Оцените статью
Я решу все!