Алгебра логики. Задача 4-31

Символом F F обозначено одно из указанных ниже логических выражений от трех аргументов X,Y,Z X, Y, Z . Дан фрагмент истинности выражения F F :

X X Y Y Z Z F F
0 0 1 0
0 1 0 1
1 1 1 1

Какое выражение соответствует F F ?

1) Y(XZ) Y ∨ (X → Z) 2) Y(¬X¬Z) Y ∧ (¬X ∨ ¬Z) 3) ¬Y(XZ) ¬Y → (X ∧ Z) 4) (YX)¬Z (Y ∨ X) ∧ ¬Z

Ответ
3
Решение

Упростим выражения:

1) Y+X+Z Y + \overline{X} + Z 2) Y(X+Z) Y ⋅ (\overline{X} + \overline{Z}) 3) Y+(XZ) Y + (X ⋅ Z) 4) (Y+X)Z (Y + X) ⋅ \overline{Z}

Первое выражение противоречит первой строке таблицы, потому что при X=0 X = 0 результат выражения будет равен 1. Второе выражение противоречит третьей строке, потому что при X,Z X, Z , равными соответственно 1, 1, результат будет равным 0. Четвертое выражение противоречит третьей строке таблицы, потому что при Z=1 Z = 1 результат будет равным 0.

Проверим выражение 3, вычислив все его значения на наборах данных таблицы:

Y+(XZ)=0+(01)=0 Y + (X ⋅ Z) = 0 + (0 ⋅ 1) = 0

Y+(XZ)=1+(00)=1 Y + (X ⋅ Z) = 1 + (0 ⋅ 0) = 1

Y+(XZ)=1+(11)=1 Y + (X ⋅ Z) = 1 + (1 ⋅ 1) = 1