Help with simplifying boolean expression

[Extreme112]

< Mentor Note -- thread moved to HH from the technical math forums, so no HH Template is shown >

(A+B)&(C+D) + (A+B)&(C+D)' + C
(A+B)&(C+D) + (A+B)&(C'&D') + C by deMorgans
(A+B)&[(C+D)+(C'&D')] + C by Distributive

I'm just wondering if I did anything wrong in this simplification or if it can be simplified any further.

 

[Svein]

(A+B)&(C+D) + (A+B)&(C+D)' + C
(A+B)&(C+D) + (A+B)&(C'&D') + C by deMorgans
(A+B)&[(C+D)+(C'&D')] + C by Distributive

I'm just wondering if I did anything wrong in this simplification or if it can be simplified any further.

Well, use the distributive law on the first part of first line - (A+B)&(C+D) + (A+B)&(C+D)' = (A+B)&((C+D) + (C+D)') = (A+B) (since P + P' = TRUE).

 

[Extreme112]

Well, use the distributive law on the first part of first line - (A+B)&(C+D) + (A+B)&(C+D)' = (A+B)&((C+D) + (C+D)') = (A+B) (since P + P' = TRUE).

Thanks, I didn't even see that.