求证明 逻辑电路 ABC'+(ABC+AB)'=(ABC)'