逻辑函数的化简消去法