已知逻辑AB=AC，则B=C。