Simplificação de expressões booleanas utilizando métodos da algeebra de boole.

[Fraol]

Bom dia,

Vamos lá, estou tentando entender o seu desenvolvimento. Da 2a. para a 3a. linha abaixo

A(BC'D+BC'D'+BCD'+B'CD'+BCD)+ A'B'CD'+A'BCD'
A[B(C'D+C'D'+CD'+CD)+CD'] + A'CD'

o que aconteceu com o B' de B'CD' ?

[o YashiroNNK]

Opa, desculpa, me exaltei demais e com o sono acabei me esquecendo deste detalhe, e em matemática erros não podem existir, meu professor mesmo não faz considerações, ou você acerta ou erra, não existe meio termo.
Refiz a expressão e notei isso mesmo, porém, agora refiz ela de forma correta ficando da seguinte forma:

ABC'D+A'B'CD'+ABC'D'+A'BCD'+A'BCD'+ABCD'+AB'CD'+ABCD
B(AC'D+AC'D'+A'CD'+ACD'+ACD)+A'B'CD'+AB'CD'
B(A(C'D+C'D'+CD'+CD)+A'CD')+B'CD'(A'+A)
B(A(C'(D+D')+C(D'+D)+A'CD')+B'CD'
B(A(C'+C)+A'CD')+B'CD'
B(A+A'CD')+B'CD'

Aqui que acontece a mágica, podemos aplicar morgan no parenteses:
(A+A'CD')''
(A'(A+C'+D))'
(AA'+A'C'+A'D)'
(A'C'+A'D)'
(A'(C'+D))'
(A+CD')

Retornando a expressão:
B(A+CD')+B'CD'
AB+BCD'+B'CD'
CD'(B+B')+AB
CD'+AB

[Fraol]

Muito bom. Parabéns!