代数拓扑方法应用于逻辑综合

张弛法进行逻辑综合其规律性、逻辑性强 ,尤其是对于多变量的情况 。