有无关项的逻辑函数的化简