Simplificação de expressões por demorgan

[Hannes Zuckermann]

Olá galera, boa tarde.

Estou resolvendo uma lista de exercícios de simplificações de circuitos por DeMorgan, mas tem uma expressão que eu não consigo simplificar de jeito nenhum.

A expressão é a seguinte: ((A' B)' (B + C)' A' + C')'

Quando eu jogo essa expressão no Logisim ele me da que "C" é a simplificação, mas não consigo chegar neste resultado.

Alguém poderia me ajudar mostrando passo a passo detalhadamente?

Agradeço desde já.

 

P.S.: Não pode ser por Mapa de Carnaugh.

[MOR_AL]

Use as seguintes simplificações.

(A . B)' = A' + B'   e

(A + B)' = A' . B'

 

MOR_AL