3.5 数字逻辑函数的化简