逻辑代数(A+C')(B+D)(B+D')=
=(A+C')(BB+BD'+BD+DD') //:BB=B,D+D'=1 DD'=0 BB=B B+B=B
=(A+C')[B+B(D+D')]
=(A+C')B