OpenFIPI 2.0

2

3

75A1B7

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

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

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

 

 

 

 

F

1

 

0

0

0

1

1

 

0

0

 

1

1

 

0

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

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

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

 

 

F

0

1

0

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

zyxw

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

Просмотреть отправленные ответы 75A1B7