怎么解 AB+BC+AC=(A+B)(B+C)(A+C)用数字逻辑代数证明