1.6.3 具有无关项的逻辑函数及其化简