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

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

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

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

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

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

Решение программой

print(’x y z’)
a = (0, 1)
for x in a:
    for y in a:
        for z in a:
            if (((y or z) <= x) or (x == y)) == False:
                print(x, y, z)

Решение руками

Для ложности функции F  каждая из скобок должна быть ложной. Первая скобка ложна в случае, если x =  0, (y ∨ z) = 1.  Следовательно, переменная x  занимает третий столбец. Так как x  принимает значение 0, то y  должен принимать значение 1, чтобы эквивалентность была ложной. Тогда ячейки во втором столбцы будут содержать единицы, а сам столбец принадлежит переменной y.  Тогда для переменной z  остаётся первый столбец.

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