原式=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
