OpenFIPI 2.0

2

3

0DC0A8

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

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

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

 

 

 

 

F

 

 

1

 

0

0

0

0

1

0

1

0

 

1

0

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

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

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

 

 

F

0

1

0

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

xwzy

from itertools import *
def f(w,x,y,z):
    return (x and not y) or (y == z) or w
for a1,a2,a3,a4 in product([0,1],repeat = 4):
    table = [(a1,a2,1,a3),(0,0,0,1),(1,0,a4,1)]
    if len(table) == len(set(table)):
        for p in permutations('wzyx'):
            if [f(**dict(zip(p,r))) for r in table] == [0,0,0]:
                print(p)

Просмотреть отправленные ответы 0DC0A8