证明下列逻辑恒等式(方法不限)(A+C')(B+D)(B+D')=AB+BC'

Question

证明下列逻辑恒等式(方法不限)
(A+C')(B+D)(B+D')=AB+BC'

Answer 1

对（B＋D）（B＋D′）使用【分配律】：
　＝B＋（DD′）
　＝B＋0
　＝B；
代入原式：
　＝（A＋C′）B
　＝AB＋BC′；