Е2.72 Миша заполнял таблицу истинности логической функции F ((x≡¬y)→¬(w→x))∨¬z

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

((x ≡ ¬y) → ¬(w → x)) ∨ ¬z,

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


	0	1	0
0			0
	1	1

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

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

Например, функция задана выражением

¬x ∨ y,

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

		F
0	1	0

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

Ответ:

Демонстрационный вариант ЕГЭ 2027 по информатике – задание №2

Решение:

print('w x y z')
for w in range(2):
    for x in range(2):
        for y in range(2):
            for z in range(2):
                if (((x == (not y)) <= (not (w <= x))) or (not z))==0:
                    print(w,x,y,z)

print('w x y z')

for w in range(2):

for x in range(2):

for y in range(2):

for z in range(2):

if (((x == (not y)) <= (not (w <= x))) or (not z))==0:

print(w,x,y,z)

w x y z
0 0 1 1
0 1 0 1
1 1 0 1

Решение

Дана логическая функция:

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

Нужно определить, какой переменной соответствует каждый из четырёх столбцов фрагмента таблицы истинности.

Рассмотрим строки, в которых значение функции F = 0. Подставляя возможные значения переменных и проверяя условие функции, получаем следующие подходящие наборы:

w x y z

0 0 1 1

0 1 0 1

1 1 0 1

Теперь сравним эти наборы с данным фрагментом таблицы.

Первый столбец принимает значения 1, 0, 0, значит ему соответствует переменная y.

Второй столбец содержит значения 0, ?, 1. Этому соответствует переменная x.

Третий столбец содержит значения 1, ?, 1. Этому соответствует переменная z.

Четвёртый столбец содержит значения 0, 0, ?. Этому соответствует переменная w.

Таким образом, порядок переменных по столбцам:

y x z w

Ответ: yxzw