Based on a set of matrix definition and formulae, the matrixing method using analysis tree for boolean expression deduction is presented.

• 矩阵运算在计算机上是易于实现的,因此,提出了一整套的矩阵定义和运算规则,并利用布尔表达式的分析树,实现了布尔代数演绎的矩阵化方法。