单调积之和展开式与布尔函数的单调分解定理

本文给出单调布尔函数的一类范式——单调积之和展开式以及构造它的算法,该算法的实现是很直观的。本文还给出布尔函数的两条单调分解定理,他们在组合逻辑综合中开创了新的途径。