Também é possível usar diretamente a forma X+\overline{X}Y=X+Y (colocando X=\overline{\mathrm{A}}), que dá o mesmo resultado.
Passo 6
Fazendo uma checagem rápida por casos para ganhar confiança:
Se \mathrm{A}=0 então \overline{\mathrm{A}}+\mathrm{C}=1+\mathrm{C}=1. Na expressão original, com \mathrm{A}=0 os dois primeiros termos são zero e sobra \overline{\mathrm{A}}=1. OK.
Se \mathrm{A}=1 então \overline{\mathrm{A}}+\mathrm{C}=0+\mathrm{C}=\mathrm{C}. Na expressão original, com \mathrm{A}=1 temos \mathrm{ABC}+\mathrm{A}\overline{\mathrm{B}}\mathrm{C}=\mathrm{C}(\mathrm{B}+\overline{\mathrm{B}})=\mathrm{C}. OK.