在布尔代数中，若A+AB=A+AC，则B=C。