TY - 计算机科学 A1 - 刘江, 周鸿昊 T1 - 一种布尔公式的代数逻辑约化新方法 Y1 - 2020-05-15 JF - 计算机科学 JO - 计算机科学 SP - 32 EP - 37 VL - 47 IS - 5 UR - https://www.jsjkx.com N1 - 10.11896/jsjkx.190400018 ER -