ФИПИ · ЕГЭ · Информатика · Задание 2

Задание 2 (часть 1). Таблицы истинности

81 заданий открытого банка ФИПИ: впишите ответ, при затруднении — подсказка; после ответа — разбор по шагам.

0
Решено
0
Правильно
0%
Точность

Задания открытого банка ФИПИ «Задание 2 (часть 1). Таблицы истинности» (информатика). Ответ вписывается так же, как в бланк ЕГЭ: число, слово или цифры подряд, без пробелов; если в ответе два числа — через пробел, как в таблице ответа (по строкам).

Неофициальная копия. Условия заданий — из открытого банка заданий ФИПИ (fipi.ru); номер у каждого задания открывает его в банке ФИПИ. Ответы, подсказки, разборы и рисунки подготовлены reknow.ru. Нашли ошибку — нажмите «Сообщить об ошибке» у задания.

Серия: 0

О теме

Задание 2 ЕГЭ по информатике. Умение строить таблицы истинности и логические схемы. На странице — 81 задание открытого банка ФИПИ: ответ проверяется сразу, есть подсказка и подробный разбор.

Примеры заданий

Это несколько заданий из тренажёра, остальные — в тренажёре в начале страницы.

ФИПИ № 033FB4 ↗

Миша заполнял таблицу истинности логической функции F

((x ≡ ¬y) →  ¬ (w → x)) \/ ¬z,

но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных w, x, y, z.

 

 

 

 

 

F

 

0

1

0

0

0

 

 

0

0

 

1

1

 

0

 

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

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

Пример. Функция задана выражением ¬x \/ y, зависящим от двух переменных, а фрагмент таблицы имеет следующий вид.

 

 

 

F

0

1

0

 

В этом случае первому столбцу соответствует переменная y, а второму столбцу –  переменная x. В ответе следует написать: yx.

Показать ответ
Ответ: yxzw
Решение.
  1. F = 0 ⇔ ¬z = 0 и импликация ложна: z = 1, (x ≡ ¬y) = 1 и ¬(w → x) = 0, т. е. z = 1, x ≠ y, w → x (если w = 1, то x = 1).
  2. Строки фрагмента (пустые клетки — неизвестные): (·,0,1,0), (0,·,·,0), (·,1,1,·).
  3. Переберём все расстановки переменных по столбцам с дозаполнением пустых клеток программой:
    from itertools import permutations, product
    F = lambda w,x,y,z: ((x == (not y)) <= (not ((not w) or x))) or not z
    rows = [[None,0,1,0], [0,None,None,0], [None,1,1,None]]
    for p in permutations('wxyz'):
        opts = [[v for v in product([0,1], repeat=4)
                 if all(c is None or c == b for c, b in zip(r, v))
                 and not F(**dict(zip(p, v)))] for r in rows]
        if any(len(set(c)) == 3 for c in product(*opts)):
            print(''.join(p))
  4. Подходит только порядок y, x, z, w: строки (1,0,1,0), (0,1,1,0), (0,1,1,1) — везде z = 1, x ≠ y, а w = 1 только при x = 1; все строки различны.
  5. Ответ: yxzw.