《数字电路》 用【公式法】写出下列逻辑函数的证明过程

《数字电路》 用【公式法】写出下列逻辑函数的证明过程
要求：1.【公式法】
3.书写意思：(AB非+B非C)非=(AB'+B'C)'
1.AB' +BD + A'D + DC = AB' + D
2.ABC + A'B'C' = ( AB' + BC' + CA' )'

额,何为公式法.不知道是不是,将就看看吧= =
1.AB'+BD+A'D+DC
=AB'+(A'+B)D+DC
=AB'+(AB')'D+DC
=AB'+D+DC
=AB'+D
2.(AB'+BC'+CA')'
=(A'+B)(B'+C)(C'+A)
=(A'B'+A'C+BC)(C'+A)
=A'B'C'+ABC
若有不清楚的可以追问哦o(∩_∩)o 希望可以帮到你!