F=ABC'+(ABC)'(AB)'
F=ABC'+(A'+B'+C')(A'+B')
F=ABC'+(A'+B')+(A'+B')C'
F=ABC'+A'+B'
F=(AB)C' + (AB)'
F=(AB)'+C'
F=A'+B'+C'
F=(ABC)'
原式=AB'+BD+AD+A'D+DC 常用恒等式或冗余律:AB'+BD=AB'+BD+AD =AB'+BD+(A+A')D+DC 互补律:A'+A=1;0、1律:1·D=D =AB'+BD+D+DC=AB'+D 吸收律:A+AB=A