若逻辑方程AB=AC成立，则B=C成立。