1.8 逻辑函数的化简