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