Задание 2 ЕГЭ по информатике

Question

Логическая функция $F$ задаётся выражением $(x \to y) \land (y \to \neg z) \land (\neg z \to w)$. На рисунке приведён частично заполненный фрагмент таблицы истинности функции $F$, содержащий неповторяющиеся строки.
? | ? | ? | ? | F
1 | 1
1 | 1 | 1
1 | 1 | 1 | 1
Определите, какому столбцу таблицы соответствует каждая из переменных $w,x,y,z$.
В ответе напишите буквы $x, y, z, w$ в том порядке, в котором идут соответствующие им столбцы (сначала - буква, соответствующая первому столбцу; затем буква, соответствующая второму столбцу, и т.д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.

Accepted Answer

def
f(a, b, c, d):
return
(a <= b)
and
(b <= (
not
c))
and
((
not
c) <= d)

from
itertools
import
permutations, product
# перебор всех возможных вариантов заполнения пропусков

for
a1, a2, a3, a4, a5, a6
in
product([0, 1], repeat=6):
# формирование таблицы с заполненными пропусками
table = [(1, a1, a2, a3), (1, a4, 1, a5), (1, a6, 1, 1)]
# если количество строк в таблице не равно количеству уникальных
# значит есть дублирующиеся строки

if
len(table) != len(set(table)):
# поэтому перебираем следующий вариант заполнения пропусков

continue

for
p
in
permutations('abcd'):

if
[f(**dict(zip(p, row)))
for
row
in
table] == [1, 1, 1]:
print(*p, sep ='')
Полный разбор

Задание 2 ЕГЭ по информатике

Базовые случаи построения таблица истинности