Há negações, produto (AND) implícito por justaposição, soma (OR) implícita pelos sinais + e uma negação sobre um produto interno \overline{\overline{A} B D}.
O objetivo é reduzir a expressão a uma forma mais simples (menos termos ou literais) aplicando propriedades da Álgebra de Boole (De Morgan, distributiva, complementar, absorção, etc.).
Passo 2
Primeiro passo algébrico: aplicar a Lei de De Morgan e dupla negação dentro do parêntese \overline{\overline{A} B D}.
Agora observe os termos \overline{A}C\overline{B} e A\overline{B}C. Ambos têm C\overline{B} em comum, só que com A e \overline{A}. Use a propriedade distributiva inversa (ou soma de complementares):
Agora trabalhe os dois termos que sobram com \overline{A} e \overline{D}: \overline{A}C\overline{D} e \overline{A}B\overline{C}\,\overline{D}. Ambos têm o fator comum \overline{A}\overline{D}. Fatore:
Verificação rápida de consistência (intuição): a forma C\overline{B}+\overline{A}\overline{D}(B+C) cobre os casos com C=1,B=0 (pelo primeiro termo) e os casos onde A=0,D=0 combinando com B ou C (pelo segundo fator), correspondendo às combinações originais. As transformações usadas foram leis válidas da Álgebra de Boole (De Morgan, complementar, distributiva, fatoração e uma simplificação reconhecida C+B\overline{C}=B+C), então a expressão está correta e simplificada.