对逻辑函数Y=A+B+C+B利用代入规则，令A=BC代入，得Y=BC+B+C+B=C+B成立