Е2.42 Две логические функции заданы выражениями: F1 = (w ≡ x) ∧ (y → z) F2 = (w → x) → (y ≡ z)

Две логические функции заданы выражениями:

F1 = (w ≡ x) ∧ (y → z)
F2 = (w → x) → (y ≡ z)

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

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

Ответ:

СтатГрад Вариант ИН2310102 24 октября 2023 – задание №2

Решение:

print('x y z w')
for x in 0, 1:
    for y in 0, 1:
        for z in 0, 1:
            for w in 0, 1:
                F1 = (w==x) and (not(y) or z)
                F2 = not(not(w) or x) or (y==z)
                if F1==1 and F2==0:
                    print(x,y,z,w)

print('x y z w')

for x in 0, 1:

for y in 0, 1:

for z in 0, 1:

for w in 0, 1:

F1 = (w==x) and (not(y) or z)

F2 = not(not(w) or x) or (y==z)

if F1==1 and F2==0:

print(x,y,z,w)

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

print('x y z w')
for x in 0, 1:
    for y in 0, 1:
        for z in 0, 1:
            for w in 0, 1:
                F1 = (w==x) and (not(y) or z)
                F2 = not(not(w) or x) or (y==z)
                if F1==1 and F2==1:
                    print(x,y,z,w)

print('x y z w')

for x in 0, 1:

for y in 0, 1:

for z in 0, 1:

for w in 0, 1:

F1 = (w==x) and (not(y) or z)

F2 = not(not(w) or x) or (y==z)

if F1==1 and F2==1:

print(x,y,z,w)

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

print('x y z w')
for x in 0, 1:
    for y in 0, 1:
        for z in 0, 1:
            for w in 0, 1:
                F1 = (w==x) and (not(y) or z)
                F2 = not(not(w) or x) or (y==z)
                if F1==0 and F2==0:
                    print(x,y,z,w)

print('x y z w')

for x in 0, 1:

for y in 0, 1:

for z in 0, 1:

for w in 0, 1:

F1 = (w==x) and (not(y) or z)

F2 = not(not(w) or x) or (y==z)

if F1==0 and F2==0:

print(x,y,z,w)

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

Ответ: zywx