逻辑代数中,若变量满足A+B=A+C,则B=C。
出自:兰州工业学院数字电子技术