2.4.3 含无关项的逻辑函数及其化简