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