已知逻辑AB=AC,则B=C。
出自:西安交通大学——数字电子技术