已知逻辑A+B=A+C，则B=C。