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