任意布尔表达式的单调分解

摘要

文[1]和文[2]分别给出了积之和范式与和之积范式的单调分解。但在逻辑综合中大量遇到简化的布尔表达式,故本文给出任意布尔表达式的单调分解。