Objetivo: achar uma expressão equivalente a \mathrm{S} com menos termos/literais.
Passo 2
Observação de pares óbvios: se dois termos diferem apenas por uma variável e aparecem com essa variável em forma complementada e não complementada (por exemplo X D e X \overline{D}), podemos usar a identidade da complementaridade D+\overline{D}=1.
Então o parêntese fica \overline{\mathrm{A}}+\mathrm{A}\,\overline{\mathrm{B}}.
Agora usar a identidade útil (uma forma da lei de absorção/consenso):
para quaisquer X,Y vale \;X+\overline{X}Y = X+Y.
Prova rápida dessa identidade: X+\overline{X}Y = (X+\overline{X})(X+Y)=1\cdot(X+Y)=X+Y.
Aplicando com X=\overline{\mathrm{A}} e Y=\overline{\mathrm{B}},