逻辑代数中，若变量满足A+B=A+C，则B=C。