矩阵化方法在布尔表达式化简中的应用

• Matrixing Method Application for Boolean Expression Deduction