Factoring is a technique of logic minimization to represent a Boolean function in a equivalent function with minimum literals.

• 摘要:抽取共同因子或因式是一种逻辑化简的技术，此技术可以将布林函式表现成一个使用较少变数出现量的等价函式。