Является ли это логической алгеброй?

Question

Я просто хотел спросить, правильно ли этот закон?

(X '+ Y) (X + Z) = X'Z + XY

Я видел его от этой картины

номер 16 http://image.slidesharecdn.com/booleanalgebralaws-121126060037-phpapp02/95/boolean-algebra-laws-1-638.jpg?cb=1353931281

И когда я расстроить его, это то, что я получаю.

(X '+ Y) (X + Z) = X'X + X'Z + XY + YZ

= X'Z + XY + YZ

Который не совпадает закон выше

Answer 1

я изменить свой ответ:

Эти уравнения эквивалентны:

(X'+Y)(X+Z) = X'Z + XY 
X'X + X'Z + XY + YZ = X'Z + XY  (expand left hand) 
X'Z + XY + YZ = X'Z + XY   (X'X = 0 always) 
X'Z + XY = X'Z + XY    (YZ => X'Z + XY) 

последний шаг можно увидеть, как это. Есть две возможности:

1. YZ = 1

   Тогда оба Y = 1 и Z = 1, а затем правая часть уравнения также 1 (учитывая, что в не более X = 1 или X '= 1).

2. YZ = 0

   термин, таким образом, может быть удален из уравнения, а затем обе руки равны.

NB: вы можете получить лучшие ответы на maths.exchange для этих типов вопросов.