对逻辑函数利用代入规则，令A=BC代入，得成立。