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

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

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

(y∨ x) → (x ≡ z)

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

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

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

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

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

Получим табличку:

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

Можем сразу увидеть, где находится наш $x$ — $1$ столбец, потому что $2$ нуля есть только в $1$ строчке, и должна быть единичка и это она. Дальше во $2$ строке под $x$ мы не можем поставить $0$ , т.к. нет такой выведенной строки. Чтобы строки различались — ставим единичку во втором слоте во второй строчке — это будет $y$ — $2$ столбец. Оставшийся столбец — $z$ .

Ответ: xyz