Булевая алгебра Упрощение (x'y '+ z)' + z + xy + wz

Question

Как бы вы упростили следующее? У меня проблемы с первой частью с отрицанием. Как здесь применить теорему ДеМоргана?

(x'y '+ г)' + г + х + WZ

Просьба ответить подробно.

Update:

Полный вопрос, который я должен был доказать, что

(x'y '+ г)' + г + х + WZ

равных

x + y + z

Answer 1

Исходное выражение:

(x'y' + z)' + z + xy + wz 

Применить теорему де Моргана:

(x'y')'z' + z + xy + wz 

Simplify (а'Ь + а = Ь + а):

(x'y')' + z + xy + wz 

Применить теорему де Моргана:

x + y + z + xy + wz 

переставить (коммутативности/ассоциативность):

x + xy + y + z + wz 

фактор:

x(1 + y) + y + z(1 + w) 

Simplify (1 + а = 1) :

x + y + y + z 

Simplify (а + а = а):

x + y + z