反例：A=，B=，C=时，在逻辑代数中A+B=A+C=，但显然B和C的逻辑值不同