一种布尔公式的代数逻辑约化新方法
刘江, 周鸿昊
New Algebraic Logic Reduction Method for Boolean Formula
LIU Jiang, ZHOU Hong-hao
计算机科学 . 2020, (5): 32 -37 .  DOI: 10.11896/jsjkx.190400018