Agora olhamos para possíveis simplificações por absorção/eliminação de termos redundantes. Uma estratégia prática é verificar se algum produto (termo) tem todos os seus mintermos já cobertos por outros termos — nesse caso é redundante e pode ser eliminado.
Observe o termo \mathrm{AB}\,\overline{C}. Podemos escrevê-lo como soma de dois mintermos usando D+\overline{D}=1:
\mathrm{AB}\,\overline{C}D é coberto pelo termo \mathrm{BD}\,\overline{C} (pois \mathrm{BD}\,\overline{C} = \mathrm{AB}\,\overline{C}D + \overline{\mathrm{A}}\mathrm{B}\,\overline{C}D);
\mathrm{AB}\,\overline{C}\,\overline{D} é coberto por \mathrm{AB}\,\overline{D} (pois \mathrm{AB}\,\overline{D}=\mathrm{AB}C\overline{D}+\mathrm{AB}\,\overline{C}\,\overline{D}).
Como ambos os mintermos de \mathrm{AB}\,\overline{C} já aparecem entre os outros termos, \mathrm{AB}\,\overline{C} é redundante e pode ser removido sem alterar a função.
Reescrevi \mathrm{BD}\,\overline{C} explicitamente porque \mathrm{AB}\,\overline{C}D e \overline{\mathrm{A}}\mathrm{B}\,\overline{C}D evidenciaram esse implicante.
Passo 5
Agrupamos termos que têm fatores comuns para compactar a expressão. Note que os três primeiros termos têm B em comum:
Esta forma mostra os implicantes primos finais: BA\overline{D}, BD\overline{A}, BD\overline{C} e \overline{B}\overline{C}\overline{D}. Não há mais absorções imediatas entre esses termos (cada um cobre mintermos que não são todos cobertos pelos outros), então esta é uma forma simplificada razoável.
Passo 8
Comentário final e interpretação prática (rápida): a simplificação usada as identidades básicas:
De Morgan: \overline{CD}=\overline{C}+\overline{D},
distributiva e fatoração: XY(Z+W)=XYZ+XYW e X(Y+Z)=XY+XZ,
remoção de termo redundante quando todos os seus mintermos já são cobertos por outros termos (redundância/absorção).