4逻辑函数的化简方法