O conteúdo aqui é Álgebra Booleana, e vamos usar que a negação de um produto vira soma das negações e a negação de uma soma vira produto das negações.
Passo 2
Identificamos três fatores no produto: X = \overline{AB}, Y = CD + \bar{E}F, Z = \overline{AB} + \overline{CD}.
Pelo teorema de De Morgan para três fatores: