Relembrando os teoremas e regras que vamos usar (explicação bem didática).
Teorema de De Morgan (forma soma → produto): a negação de uma soma é o produto das negações:
\overline{X + Y} = \overline{X}\,\overline{Y}.
Isto significa: “não (X ou Y)” é equivalente a “(não X) e (não Y)”.
Teorema de De Morgan (forma produto → soma): a negação de um produto é a soma das negações:
\overline{X Y} = \overline{X} + \overline{Y}.
Isto significa: “não (X e Y)” é equivalente a “(não X) ou (não Y)”.
Dupla negação: negar duas vezes dá o original:
\overline{\overline{X}} = X.
Vou aplicar essas regras passo a passo. Para ficar claro: na expressão \overline{\overline{A}+\overline{B} C} posso ver dentro do complemento uma soma entre \overline{A} e \overline{B} C; tratarei esses dois termos como X e Y nas fórmulas acima.
Passo 3
Aplicar De Morgan à negação da soma interna.
Tomando X = \overline{A} e Y = \overline{B} C, pelo teorema de De Morgan (soma → produto) temos: