神经网络化简非多项式混合布尔算术表达式 刘彬彬