逻辑函数常用的公式化简方法