计算机在逻辑代数化简中的应用

• The simplification of logic algebra by computer