全部的最小项之和恒为
出自:西安交通大学——数字逻辑电路